|
bootstrap
|
Use prompt for desktop shortcuts, fixes #914
|
2023-11-09 17:24:41 +08:00 |
|
dev
|
Add modgraph script
|
2021-10-05 21:38:07 +02: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 |
