Updated documentation

[fifth.git] / tools / commit and push

diff --git a/tools/commit and push b/tools/commit and push
deleted file mode 100755 (executable)
index 057b511..0000000
--- a/tools/commit and push
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/bash
-cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -e "'$0' T"; exit; fi;
-
-cd ..
-
-cola
-git push
-
-echo ""
-echo "Press ENTER to close this window."
-read