projects
/
fifth.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Added reference to Bibi-binary
[fifth.git]
/
tools
/
update web site
diff --git
a/tools/update web site
b/tools/update web site
index
20a52bc
..
a4d0fd0
100755
(executable)
--- a/
tools/update web site
+++ b/
tools/update web site
@@
-1,5
+1,5
@@
#!/bin/bash
-cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -
e "'$0' T"
; exit; fi;
+cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -
- "$0" T
; exit; fi;
cd ..