diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-04-10 09:13:58 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-04-10 09:13:58 +0200 |
| commit | 9b878ac5e52db79c7945d3b28fa8c4af1666e5fe (patch) | |
| tree | d1f6d5b340af65706a171e3fa6c36d0c52b11325 /.gitignore | |
| parent | 6ef534628809195e81acd7250eb340a36ffed11e (diff) | |
| download | ekdosis-9b878ac5e52db79c7945d3b28fa8c4af1666e5fe.tar.gz | |
added \catcode9=12 in ekdosis.ins
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions