projects
/
fifth.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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