Peter Simons b5fed52c43 Merge pull request #4238 from wkennington/master.boost ... Make boost 156 the default		2014-11-03 23:03:01 +01:00
..
cd-dvd	Merge pull request #4238 from wkennington/master.boost	2014-11-03 23:03:01 +01:00
scan
tools	remove unused parameter from nixos module that is causing trouble with nixops 1.2	2014-10-19 14:10:28 +02:00
virtualbox-demo.nix	Revert "Revert "Merge pull request #2449 from wkennington/master.grub""	2014-09-02 09:16:13 -07:00