2023-09-17 14:00:51 +02:00
|
|
|
/* Patches */
|
2024-07-08 08:13:30 +02:00
|
|
|
#if BASENAME_PATCH
|
|
|
|
#include "basename.h"
|
|
|
|
#endif
|
2023-11-01 16:07:38 +01:00
|
|
|
#if DRAG_PATCH
|
|
|
|
#include "drag.h"
|
|
|
|
#endif
|
2023-09-17 14:00:51 +02:00
|
|
|
#if HIDETABS_PATCH
|
|
|
|
#include "hidebar.h"
|
|
|
|
#endif
|
|
|
|
#if ICON_PATCH
|
|
|
|
#include "icon.h"
|
|
|
|
#endif
|
|
|
|
#if KEYRELEASE_PATCH
|
|
|
|
#include "keyrelease.h"
|
|
|
|
#endif
|
|
|
|
#if XRESOURCES_PATCH
|
|
|
|
#include "xresources.h"
|
2024-07-08 08:13:30 +02:00
|
|
|
#endif
|