Mathijs Kwik e80cbedbae VM builds: Use default kernel ... (this was set to 3.10 when 3.4 was our default) See commit d846e97656.		2014-09-23 09:17:01 +02:00
..
deb	Add Debian 7.0	2013-05-07 11:19:46 +02:00
rpm	rpm-closure.pl: Reduce verbosity	2014-09-05 12:37:07 +02:00
windows	Another attempt to eradicate ensureDir	2014-06-30 14:56:10 +02:00
default.nix	VM builds: Use default kernel	2014-09-23 09:17:01 +02:00
test.nix	Remove runInGenericVM	2013-07-05 00:17:04 +02:00