diff options
author | Jonas Smedegaard <dr@jones.dk> | 2002-04-14 20:34:41 +0000 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2002-04-14 20:34:41 +0000 |
commit | d0225fcae0541e1d21cb261d0d991e9292926c77 (patch) | |
tree | 0cb4c5db725b5b2ab8859d69480f441fad26f085 | |
parent | a291804ba74b2a4f73e6ad359c8868e67888bd98 (diff) |
Correction to avoid _always_ using non-X11 dosemu.
-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 |