diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-10-03 20:55:28 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-10-03 20:55:28 +0200 |
| commit | f23360399b1da0876dc6dddcf1c70687101c92db (patch) | |
| tree | 3fe1364fb5d038cf326bf3f1b4b5953a355ae5be /.gitignore | |
| parent | 267ed955f45fbc381169a0cf67a8160e2d92c156 (diff) | |
| download | ekdosis-f23360399b1da0876dc6dddcf1c70687101c92db.tar.gz | |
subvariation: new command \rdgGrp
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions