Julian Ospald c2186bb33c Merge branch 'issue-233'		2024-02-09 21:45:02 +08:00
..
bootstrap	Merge branch 'issue-233'	2024-02-09 21:45:02 +08:00
dev	Add update-shell-completions.sh	2023-11-13 16:00:31 +08:00
hooks/stack	Redo ghc-install.sh, fixes #913	2023-11-06 18:23:02 +08:00
releasing	Update release scripts	2024-02-03 00:16:18 +08:00
shell-completions	Move files into nicer subdirectories	2021-09-04 15:08:58 +02:00