|
bootstrap
|
Be more portable wrt sourcing scripts
|
2024-02-02 16:18:50 +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
|
Fix pulling freebsd bindist
|
2023-07-12 17:51:56 +08:00 |
|
shell-completions
|
Move files into nicer subdirectories
|
2021-09-04 15:08:58 +02:00 |
