]> git.tuebingen.mpg.de Git - paraslash.git/commit
Rename command_util.sh -> command_util.bash.
authorAndre Noll <maan@systemlinux.org>
Sun, 29 Dec 2013 01:39:36 +0000 (01:39 +0000)
committerAndre Noll <maan@systemlinux.org>
Sat, 22 Feb 2014 15:49:29 +0000 (16:49 +0100)
commite82492d14f3f0b00eaca5969f608d347b41cf07e
tree6f3c228f3e5d68966096b6a001263d766e9b4504
parent1526296ab4088bba659787e83553a605cbda09bd
Rename command_util.sh -> command_util.bash.

It's a bash script which wouldn't run properly under general POSIX
shells.
Makefile.real
command_util.bash [new file with mode: 0755]
command_util.sh [deleted file]