diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-02-20 07:40:29 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-02-20 07:40:29 +0100 |
| commit | 70ff06d10cbbff3ebd6e38a5078b5817ac3dc48d (patch) | |
| tree | 2b157ebe6e67dda6fe749ff77e49b8cf4b4ba848 /.gitignore | |
| parent | 026f4f5639db65b4118b57e7912a0b7aa9b88205 (diff) | |
| download | ekdosis-70ff06d10cbbff3ebd6e38a5078b5817ac3dc48d.tar.gz | |
more control over expansion in \note
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions