Age | Commit message (Expand) | Author |
---|---|---|
2022-02-04 | Add bash completions, and update build manifest | Tim Lagnese |
2021-10-26 | Fix install | Tim Lagnese |
2021-10-26 | Add install to build manifest | Tim Lagnese |
2021-09-16 | Revert "Remove gnatcoll-core dependency in build" | Tim Lagnese |
2021-09-16 | Remove gnatcoll-core dependency in build | Tim Lagnese |
2021-08-04 | Add build manifest | Tim Lagnese |