]> git.tue.mpg.de Git - paraslash.git/commit
simplify com_man() of command_util.sh
authorAndre <maan@meins.(none)>
Sat, 27 Jan 2007 10:33:08 +0000 (11:33 +0100)
committerAndre <maan@meins.(none)>
Sat, 27 Jan 2007 10:33:08 +0000 (11:33 +0100)
commit3e5fc3eb04d048d7b30c857e12107799beb39c31
tree70dce847b499040c237acae76f464e9475bb9752
parent953bdd7eaaa7a737e57655a24848b8cdd84ddfcd
simplify com_man() of command_util.sh
command_util.sh