Vladimír Čunát f1ed4b50fc zeroc_ice: disable problematic parallel make		2019-02-19 18:14:52 +01:00
..
default.nix	zeroc_ice: disable problematic parallel make	2019-02-19 18:14:52 +01:00
makefile.patch