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 /.dir-locals.el | |
parent | 929d5b3e9023e9fd0465d40b138326fab4327f06 (diff) | |
download | bog-8fc7ff7d926ddb7291df9706b92e09cc8addcfad.tar.gz |
* README.org: Replace Travis with GitHub CI badge.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions