2019-09-16 10:40:16 +02:00
|
|
|
/* Patches */
|
|
|
|
|
|
|
|
|
|
#if COPYURL_PATCH || COPYURL_HIGHLIGHT_SELECTED_URLS_PATCH
|
|
|
|
|
#include "copyurl.h"
|
2019-09-16 12:40:07 +02:00
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#if FIXIME_PATCH
|
|
|
|
|
void xximspot(int, int);
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#if NEWTERM_PATCH
|
|
|
|
|
#include "newterm.h"
|
2019-09-16 10:40:16 +02:00
|
|
|
#endif
|
