diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-10-25 11:03:31 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-10-25 11:03:31 +0200 |
| commit | 02429663d98f4dfb91d504a362fc480393c14f8b (patch) | |
| tree | 9661370ceadbec200c8e055c7b69223446e4b22d /.gitignore | |
| parent | 0d6bc09305d8139778e9bbf95910e614ee66bb99 (diff) | |
| download | ekdosis-02429663d98f4dfb91d504a362fc480393c14f8b.tar.gz | |
apparatus layout options: either 'float' or 'footins' for now
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions