diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-22 19:08:35 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-22 19:18:10 +0100 |
| commit | 76a2148e8ef083712c078fff098e785f2e83bb64 (patch) | |
| tree | e536697eb2256f8a48f26f2b50f5b598ac14a478 /.dir-locals.el | |
| parent | c9d64927224fd627c7a3459c8eaaddc34574090a (diff) | |
Minor edits to summarize section on project.tex and verify.tex
After going through Boud's corrections, I thought it can be further
summarized without loosing any major point.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions