Peter Simons 95934138bc gprolog: patch hard-coded path to the temporary file /tmp/make.log

2014-01-21 20:07:26 +01:00

..

default.nix

gprolog: patch hard-coded path to the temporary file /tmp/make.log

2014-01-21 20:07:26 +01:00