diff options
author | David Thompson <dthompson2@worcester.edu> | 2018-03-13 20:42:40 -0400 |
---|---|---|
committer | David Thompson <dthompson2@worcester.edu> | 2018-03-13 20:42:40 -0400 |
commit | 257104e6359ce08f366b645f67b5285749623ad0 (patch) | |
tree | 1b5a094fd453eb335269f8a765e32361100e83bb /doc/manual.css | |
parent | 6ba2755dd1ba3bcb1de88799284e908cf7f42b3a (diff) |
Update .dir-locals.el.
Diffstat (limited to 'doc/manual.css')
0 files changed, 0 insertions, 0 deletions