1 files changed, 0 insertions, 12 deletions
diff --git a/tools/paneltoggle b/tools/paneltoggle
deleted file mode 100755
index 5e665bb..0000000
--- a/tools/paneltoggle
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/sh
-# This shell script is PUBLIC DOMAIN. You may do whatever you want with it.
-
-TOGGLE=$HOME/.toggle
-
-if [ ! -e $TOGGLE ]; then
-    touch $TOGGLE
-    ratpoison -c hidepanel
-else
-    rm $TOGGLE
-    ratpoison -c showpanel
-fi