diff options
-rwxr-xr-x | navi | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -31,7 +31,7 @@ if [ $help ]; then exit 1 fi -if [ ! -e "~/$target/.dosemurc" ]; then +if [ ! -e ~/$target/.dosemurc ]; then echo "Wrong target!" exit 1 fi |
index : bin | ||
Unnamed repository; edit this file 'description' to name the repository. | Jonas Smedegaard |
summaryrefslogtreecommitdiff |
-rwxr-xr-x | navi | 2 |
@@ -31,7 +31,7 @@ if [ $help ]; then exit 1 fi -if [ ! -e "~/$target/.dosemurc" ]; then +if [ ! -e ~/$target/.dosemurc ]; then echo "Wrong target!" exit 1 fi |