diff options
| author | Basil L. Contovounesios <contovob@tcd.ie> | 2023-04-11 07:55:21 +0100 |
|---|---|---|
| committer | Basil L. Contovounesios <contovob@tcd.ie> | 2023-04-11 07:55:21 +0100 |
| commit | 8fc7ff7d926ddb7291df9706b92e09cc8addcfad (patch) | |
| tree | 944f30300962e82822ee3b2471c76d694f8be5d3 /Makefile | |
| parent | 929d5b3e9023e9fd0465d40b138326fab4327f06 (diff) | |
| download | bog-8fc7ff7d926ddb7291df9706b92e09cc8addcfad.tar.gz | |
* README.org: Replace Travis with GitHub CI badge.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions