Adding push patch

2019-09-14 00:36:18 +02:00
parent c5b830e6ab
commit 39e161e545
7 changed files with 96 additions and 1 deletions
--- a/patch/include.h
+++ b/patch/include.h
@ -36,6 +36,10 @@
 #include "ewmhtags.h"
 #endif

+#if PUSH_PATCH
+#include "push.h"
+#endif
+
 #if ROTATESTACK_PATCH
 #include "rotatestack.h"
 #endif