Orivej Desh 9d33897461 zeroc-ice: fix parallel building		2018-05-30 00:20:27 +00:00
..
default.nix	zeroc-ice: fix parallel building	2018-05-30 00:20:27 +00:00
makefile.patch	zeroc-ice: fix parallel building	2018-05-30 00:20:27 +00:00