Eelco Dolstra 87b7b25e13 Clean up the configure script		2019-11-26 22:07:28 +01:00
..
Nix	Clean up the configure script	2019-11-26 22:07:28 +01:00