diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-07-19 12:23:57 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-07-19 12:23:57 +0200 |
| commit | 34786688b350598f9da6641a1a45d9d747c17536 (patch) | |
| tree | ae137460b9ef8bb85fdf1d60984bce0bef9f9545 /.gitignore | |
| parent | 274d02e351ad12de5c685dca4f235ec2da5c5a83 (diff) | |
| download | ekdosis-34786688b350598f9da6641a1a45d9d747c17536.tar.gz | |
added \null at the beginning of \lem and \note. elide digits of end-range line numbers
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions