diff options
| author | Patrice Clement <monsieurp@gentoo.org> | 2015-12-05 19:22:25 +0000 |
|---|---|---|
| committer | Patrice Clement <monsieurp@gentoo.org> | 2015-12-05 19:48:28 +0000 |
| commit | 005ea3e5839bccb120f1dacf7c2e655491905407 (patch) | |
| tree | 23ae04e214438cb548b737b517918b39c3a50a96 /dev-tex | |
| parent | e855a441c79db564315a6ccfe4e5cdbb7e76c9c7 (diff) | |
| parent | 4c342418ac5ee5a442b0079549e2511e77455329 (diff) | |
| download | gentoo-005ea3e5839bccb120f1dacf7c2e655491905407.tar.gz gentoo-005ea3e5839bccb120f1dacf7c2e655491905407.tar.xz | |
Merge remote-tracking branch 'github/pr/432'.
Diffstat (limited to 'dev-tex')
0 files changed, 0 insertions, 0 deletions