From a4e4fd3d25d6a7e59039e38c5486e5c62adb0e2a Mon Sep 17 00:00:00 2001
From: "Devin J. Pohly" <djpohly@gmail.com>
Date: Thu, 4 Mar 2021 13:52:58 -0600
Subject: [PATCH] add missing header

---
 push.h | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 push.h

diff --git a/push.h b/push.h
new file mode 100644
index 0000000..59c0f80
--- /dev/null
+++ b/push.h
@@ -0,0 +1,4 @@
+static Client *nexttiled(Client *sel);
+static Client *prevtiled(Client *sel);
+static void pushdown(const Arg *arg);
+static void pushup(const Arg *arg);