.envrc
|
templates: add Ada template
|
2023-06-14 10:45:01 -06:00 |
.gitignore
|
templates: add 'result' to ignore
|
2023-06-14 10:45:02 -06:00 |
LICENSE
|
templates: add license files
|
2023-06-14 10:45:02 -06:00 |
thing.adb
|
templates/ada: add install phase
|
2023-06-14 10:45:01 -06:00 |