diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-04-10 16:28:36 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-04-10 16:37:18 +0200 |
| commit | eca29eb54ec96619e52b7f75d1eadd5ab54d147d (patch) | |
| tree | 3ddf2889dafd11fa436f48402c93b6b594752190 /.gitignore | |
| parent | 78488968e275fc211030d2bc60d73030169d5ba2 (diff) | |
| download | arabluatex-eca29eb54ec96619e52b7f75d1eadd5ab54d147d.tar.gz | |
makefile: added compiled .elc for deletion in 'clean' rule
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions