Mercurial > dottes
diff dottes.tex.firstline-tune @ 988:745c2db297a5 build-default-357
Tidy some of the new annotations.
| author | Jim Hague <jim.hague@acm.org> |
|---|---|
| date | Fri, 09 Aug 2019 20:07:19 +0100 |
| parents | ce5c7214f9aa |
| children |
| author | Jim Hague <jim.hague@acm.org> |
|---|---|
| date | Fri, 09 Aug 2019 20:07:19 +0100 |
| parents | ce5c7214f9aa |
| children |