|
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 |
