diff options
author | Urbain Vaes <urbain@vaes.uk> | 2015-05-26 13:16:27 +0100 |
---|---|---|
committer | Urbain Vaes <urbain@vaes.uk> | 2015-05-26 13:16:27 +0100 |
commit | 98d03c192805170e2bdfcfa862b40e4681e9823d (patch) | |
tree | 68cce1d7f610831e59d312b525d6903943f9f49d /tex | |
parent | 677806e0d06cde5fa6245f9e6db92f2ec71539b1 (diff) |
minor changes
Diffstat (limited to 'tex')
0 files changed, 0 insertions, 0 deletions