diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-03-26 00:55:32 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-03-26 00:55:32 +0100 |
| commit | ba12c9ac88e512c455f20d5abfd62e52c6a9806a (patch) | |
| tree | 3e93a1aaf86ae05d10d49b58d703bae7496d3ad9 /.gitignore | |
| parent | e760359b4dd2765f148b865ecf9f755fee72e87b (diff) | |
| download | ekdosis-ba12c9ac88e512c455f20d5abfd62e52c6a9806a.tar.gz | |
dtx: load minted with 'newfloat=true'
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions