mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-21 13:10:33 +00:00
7c765159ba
Fixed the CilConfig.pm.in to use the prefix instead of the cilhome, which is for whatever reason set to the pwd. Yeah. These CIL guys could use some deployment help. svn path=/nixpkgs/trunk/; revision=6516 |
||
---|---|---|
.. | ||
atermprinter.patch | ||
cil-aterm-1.3.3.nix | ||
cil-aterm-1.3.4.patch | ||
default.nix |