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	zeroc-ice: fix parallel building	2018-05-30 00:20:27 +00:00