diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-10-29 13:01:21 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-10-29 13:01:21 +0100 |
| commit | 218be66e86b5cf8f8e84640006fdfc7ed4c8bcc4 (patch) | |
| tree | 580e8bfc44ceb3afabedf2cdb3f43dbb74e52fba /.gitignore | |
| parent | 959b7789787a6848434f2c4fe61ca932571b569d (diff) | |
| download | ekdosis-218be66e86b5cf8f8e84640006fdfc7ed4c8bcc4.tar.gz | |
let \note be \note@ekd in 'ekdosis' environment only
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions