3 commits

Author	SHA1	Message	Date
tv	f51f58f5ed	tv: only xu is a virtualbox host	2017-08-01 20:07:17 +02:00
tv	67def2c04a	tv: add krebs-pages mirror at krebs.xu.r	2017-08-01 12:02:02 +02:00
tv	7fdc46bb9d	move source config from module system to 1systems/*/source.nix	2017-07-10 11:05:48 +02:00