Erik Arvstedt 955b44404c delete helper/fetch-channel ... This script was obsoleted by switching to flakes.		2021-09-11 15:07:23 +02:00
..
fetch-release	fetch-release: minor improvements	2021-03-16 12:46:18 +01: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
update-flake.nix	add helper/update-flake.sh	2021-08-26 12:45:10 +02:00
update-flake.sh	add helper/update-flake.sh	2021-08-26 12:45:10 +02:00