diff options
author | Robert Alessi <alessi@robertalessi.net> | 2019-04-10 09:24:01 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2019-04-10 09:24:01 +0200 |
commit | 3fad62e74b9ce5a420189ec854421f3154473dc1 (patch) | |
tree | c7e16c74753c809123ed2a3ef82f1e2e3668be41 /.gitignore | |
parent | 9b878ac5e52db79c7945d3b28fa8c4af1666e5fe (diff) | |
download | ekdosis-3fad62e74b9ce5a420189ec854421f3154473dc1.tar.gz |
specified in totei how to handle \arb{}
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions