cloudhead 62fa8c25c8 scripts: Delete old install script		2024-03-15 16:53:09 +01:00
..
build-man-pages.sh	ci: Fix man page build	2023-07-21 20:52:25 +02:00
cache-cobs	scripts: Add COB caching script	2024-02-23 18:35:50 +01:00
delete-remote-branches.sh	scripts: Fix delete-remote-branches script	2023-08-04 12:19:27 +02:00
delete-remote-refs.sh	scripts: Small fix for POSIX-compliance	2023-09-26 13:11:12 +02:00
deploy-seed	scripts: Use `seed` user instead of `root`	2023-05-12 11:08:59 +02:00
import-issue.sh	cob: Stabilize formats	2023-08-07 11:05:14 +02:00
patch-rebase.sh	Update scripts with a couple of new ones	2023-04-27 11:08:56 +02:00
show-sigrefs.sh	Update scripts with a couple of new ones	2023-04-27 11:08:56 +02:00