diff options
| author | Agathe Porte <microjoe@microjoe.org> | 2018-06-24 10:59:24 +0200 |
|---|---|---|
| committer | Agathe Porte <microjoe@microjoe.org> | 2018-06-24 10:59:24 +0200 |
| commit | 9a893b772872ddbcf65f767dc4eb1a5b0eecea1a (patch) | |
| tree | accaf22db0892c781817bcfe1c3fea424e995129 /docs/demo.gif | |
| parent | 51292127a47911f973e1c2691a9adc75c6bad044 (diff) | |
| download | latex-makefile-main.tar.gz latex-makefile-main.zip | |
makefile: use auxdir for cleanmain
Diffstat (limited to 'docs/demo.gif')
0 files changed, 0 insertions, 0 deletions