Jonas Nick 8e268c5ced Fetch from the nixpkgs repo instead of nixpkgs-channels ... nixpkgs-channels is deprecated.		2020-12-06 21:42:20 +00:00
..
fetch-channel	Fetch from the nixpkgs repo instead of nixpkgs-channels	2020-12-06 21:42:20 +00:00
fetch-release	Add fetch-release script	2020-04-08 07:01:35 +00:00
key-jonasnick.bin	Update jonasnick's gpg key	2020-07-08 12:03:57 +00:00
push-release.sh	push-release: fix bug where assets are not pushed	2020-09-24 16:10:23 +00:00
vbox-resize-disk1.sh	Rename contrib/ to helper/	2019-11-11 18:45:17 +01:00