Fabio Porcedda 620ed5c939 prboom: remove uninstall command ... Useless since the uninstall commands were removed in eb7bd9ef Signed-off-by: Fabio Porcedda <fabio.porcedda@gmail.com> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>		2015-02-08 23:56:17 +01:00
..
0001-libpng-1.4.patch
Config.in
prboom.hash
prboom.mk