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