aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-01-01 18:01:36 +0100
committerRobert Alessi <alessi@robertalessi.net>2018-01-01 18:01:36 +0100
commit1b3e30ddaa7c3622ba7986d093716bd9a7abbe63 (patch)
tree112c9d8114a2ed66ce2c244b453a01f3c3c4080c /.gitignore
parentc98a0e75261c8c57b27902393db6862a33296a3d (diff)
downloadarabluatex-1b3e30ddaa7c3622ba7986d093716bd9a7abbe63.tar.gz
names inside \cap{} may be surrounded by brackets
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions