diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2023-07-29 16:55:20 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2023-07-29 16:55:20 +0200 |
| commit | bdb86207b1923f1bfa88f6205ff26f04497abc8d (patch) | |
| tree | bc664f394cc1f1c2f6c7840ede42ff16c634c60f /.gitignore | |
| parent | 429023b977a74e57f5588c35fba36efdc76672fc (diff) | |
| download | ekdosis-bdb86207b1923f1bfa88f6205ff26f04497abc8d.tar.gz | |
a bit of literate programming on \current@ref
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions