diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-09-18 11:54:54 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-09-18 11:54:54 +0200 |
| commit | 993a4fbb7c3d1f9977e0789c21905fddd72241fd (patch) | |
| tree | 899b928672607b9ad74dafd42eb2bfa048a041c4 /nix/.gitignore | |
| parent | 248965c91caf7d10433f090b4712a9b201968416 (diff) | |
| parent | 7bc46ecc34ceb042ff890e5d306d0a2a736e891d (diff) | |
| download | patches-993a4fbb7c3d1f9977e0789c21905fddd72241fd.tar patches-993a4fbb7c3d1f9977e0789c21905fddd72241fd.tar.gz | |
Merge remote-tracking branch 'origin/master' into wip-texlive
Diffstat (limited to 'nix/.gitignore')
0 files changed, 0 insertions, 0 deletions