|
.envrc
|
templates: add Ada template
|
2023-06-14 10:45:01 -06:00 |
|
.gitignore
|
templates: ignore tags file
|
2023-06-14 10:45:41 -06:00 |
|
flake.nix
|
format and update
|
2023-09-01 09:00:36 -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 |
