|
bootstrap
|
Bump bootstrap script to 0.1.22.0
|
2024-03-13 20:54:23 +08:00 |
|
dev
|
Use platform specific project files
|
2024-03-16 18:11:39 +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 |
