aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2017-12-31 11:54:06 +0100
committerRobert Alessi <alessi@robertalessi.net>2017-12-31 17:18:16 +0100
commit7150a889c1f25076397fc6acc3e15f65efb33732 (patch)
tree86be7fa3470495b0bb349e8396aaac71353f2a99 /.gitignore
parent3804a9fe0de57821fa16c0b38073a41d80d5701d (diff)
downloadarabluatex-7150a889c1f25076397fc6acc3e15f65efb33732.tar.gz
\cap{} rules: more work was needed
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions