Make it work even if bash is not in /bin/
[TeXnicard.git] / doc / 
tree5b90ebdb33907846f53aaab5763114f8dd15cb60
drwxr-xr-x   ..
-rwxr-xr-x 2151 extra_repository.txt
drwxr-xr-x - tex