diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-08-28 12:43:19 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-08-28 12:43:19 +0200 |
| commit | 251d753e51b64bdfda0bae01ef205758843506dc (patch) | |
| tree | 979c55e3c50a23b2e7dacc12de864900ba608893 /.gitignore | |
| parent | 48adb3422af6b1c51c948c5627b8e49da85f60c0 (diff) | |
| download | arabluatex-251d753e51b64bdfda0bae01ef205758843506dc.tar.gz | |
more refined AUCTeX style file
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions