aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-08-28 12:43:19 +0200
committerRobert Alessi <alessi@robertalessi.net>2018-08-28 12:43:19 +0200
commit251d753e51b64bdfda0bae01ef205758843506dc (patch)
tree979c55e3c50a23b2e7dacc12de864900ba608893 /.gitignore
parent48adb3422af6b1c51c948c5627b8e49da85f60c0 (diff)
downloadarabluatex-251d753e51b64bdfda0bae01ef205758843506dc.tar.gz
more refined AUCTeX style file
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions