]> git.tue.mpg.de Git - paraslash.git/commit
Remove man_util.bash.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 26 Jun 2016 10:33:44 +0000 (12:33 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 26 Mar 2017 09:02:28 +0000 (11:02 +0200)
commit37b31457f732c1bd84a1489135a3447694b4ff60
treedc40d09adf94f289126a3b0ff03cd32dcc810454
parentea4ba1e8b36e290c117ebbbe2e71c5d96158b4c9
Remove man_util.bash.

This script is no longer needed since all executables and all command
lists have been converted to the lopsub library.

This commit removes the script and the receipt in Makefile.real that
called it.
Makefile.real
man_util.bash [deleted file]