diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-08-06 10:07:36 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-08-06 10:07:36 +0200 |
| commit | 378d94e51b00c30b19a39154278d01f1f3c4dbc1 (patch) | |
| tree | 0c9ed3a1c1b6db778b05ad03fa8edd91cfb737f4 /.gitignore | |
| parent | d350d5e71434704d147b1252d21e46daf6bb9885 (diff) | |
| parent | 6a5198170ed5f10e1eee2e25fc6a39f3f33a40fd (diff) | |
| download | patches-378d94e51b00c30b19a39154278d01f1f3c4dbc1.tar patches-378d94e51b00c30b19a39154278d01f1f3c4dbc1.tar.gz | |
Merge remote-tracking branch 'origin/master' into wip-texlive
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions