diff options
author | Christian Grothoff <grothoff@gnunet.org> | 2023-10-08 11:19:39 +0200 |
---|---|---|
committer | Christian Grothoff <grothoff@gnunet.org> | 2023-10-08 11:19:39 +0200 |
commit | d8c437a1ef74e45937fdd86e3d5bdd5e25ee6243 (patch) | |
tree | c780a9d53d680c2c053aba1df4bcd896c5df3697 /.dir-locals.el | |
parent | 4d09c5b6b74ce4f022d8406d041bae257ccd0b35 (diff) | |
download | docs-d8c437a1ef74e45937fdd86e3d5bdd5e25ee6243.tar.gz docs-d8c437a1ef74e45937fdd86e3d5bdd5e25ee6243.tar.bz2 docs-d8c437a1ef74e45937fdd86e3d5bdd5e25ee6243.zip |
-minor fixes
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions