diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-07-10 10:05:08 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-07-10 10:05:08 +0200 |
| commit | fe1272e828bd169f85cb70f034f5fdc3fe1c9b3b (patch) | |
| tree | 52bc3f9aaaf8626f962242a980029d09ce9a5844 /.gitignore | |
| parent | 8cf8a513bae1448f90c76dc72dca86b4a83632e4 (diff) | |
| download | ekdosis-fe1272e828bd169f85cb70f034f5fdc3fe1c9b3b.tar.gz | |
added \ignorespaces at the end of \note@noapp
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions