Merge pull request #106 from aspiers/dev

This commit is contained in:
Adam Spiers 2024-04-06 15:37:36 +01:00 committed by GitHub
commit fee2225dc9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
29 changed files with 3148 additions and 9741 deletions

View file

@ -89,3 +89,10 @@ tmp-testing-trees
.travis.yml
^docker/
^[a-zA-Z]*-docker.sh
# Avoid development config
.dir-locals.el
.dumbjump
# Avoid CI
.github/