diff options
author | Urbain Vaes <urbain@vaes.uk> | 2014-11-06 13:38:25 +0000 |
---|---|---|
committer | Urbain Vaes <urbain@vaes.uk> | 2014-11-06 13:38:25 +0000 |
commit | c795f8abb475ddc70255b9b6f93c3aeec3950667 (patch) | |
tree | 5ead7a0ce3397221c4e92d4dc863a78e5954ffa4 /tex | |
parent | f36c1e31da4fb0f46c6b40537ef4b2225df94a43 (diff) |
minor changes
Diffstat (limited to 'tex')
0 files changed, 0 insertions, 0 deletions