diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-08-07 22:26:55 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-08-07 22:26:55 +0200 |
| commit | 9bd1333e587c92fb3f0c12e080cb89e41713df01 (patch) | |
| tree | f053e0174c052df046ef2ad320bcc5cdc8c76b01 /THANKS | |
| parent | 378d94e51b00c30b19a39154278d01f1f3c4dbc1 (diff) | |
| parent | 55e238f2ab24ce347047ebc7fd7c5eba62dac69d (diff) | |
Merge remote-tracking branch 'origin/master' into wip-texlive
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions