From: Andre Noll Date: Sun, 29 Dec 2013 01:39:36 +0000 (+0000) Subject: Rename command_util.sh -> command_util.bash. X-Git-Tag: v0.5.2~6^2~23 X-Git-Url: http://git.tuebingen.mpg.de/?a=commitdiff_plain;h=e82492d14f3f0b00eaca5969f608d347b41cf07e;hp=e82492d14f3f0b00eaca5969f608d347b41cf07e;p=paraslash.git Rename command_util.sh -> command_util.bash. It's a bash script which wouldn't run properly under general POSIX shells. ---