Tweak misc/pauker version 1.8.r2_1
authorAutomaton IAS <nobody@home.ok>
Tue, 1 Jan 2013 02:47:39 +0000 (03:47 +0100)
committerAutomaton IAS <nobody@home.ok>
Tue, 1 Jan 2013 02:47:39 +0000 (03:47 +0100)
commit12be6ced608da7122bfb8d60d5f88ab004782731
treed0d893c258f4a80c5b46d26e6b7120d5ae8e1e63
parenta0acbd4e5ba523f5c6e66132a8bc6c1c6abcc5c6
Tweak misc/pauker version 1.8.r2_1
misc/pauker/Makefile