diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2021-04-09 11:32:35 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2021-04-09 11:32:35 +0200 |
| commit | 7e59309233835a6ed0c556b0dd3fdd6aa9bcfd9a (patch) | |
| tree | acc7764f30b844a1cf34e3c04fb193149a81f6d5 /.gitignore | |
| parent | bcdf40e8f0bd033bdd6413037fa7d4dd4a63e1b3 (diff) | |
| download | ekdosis-7e59309233835a6ed0c556b0dd3fdd6aa9bcfd9a.tar.gz | |
allow two consecutive \note{} commands to share the same labelb
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions