diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-11-11 21:00:03 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-11-11 21:00:03 +0100 |
| commit | a3e4294f4c1c16a8b065ad2301da1cdb2f16c03a (patch) | |
| tree | aa10ce11c732cb7206ac9845830a70445c2d3df4 /.gitignore | |
| parent | cf0049e84bf9ac476cf67e965fcf97ed152b6026 (diff) | |
| download | ekdosis-a3e4294f4c1c16a8b065ad2301da1cdb2f16c03a.tar.gz | |
ekdstarted boolean was needed in \add@apparatus
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions