diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2015-03-24 21:43:17 +0100 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2015-03-24 21:43:17 +0100 |
| commit | 6b7ef2b454a941b02badedce5d16c7645a2a640d (patch) | |
| tree | b55398d1d2ded6e3233626fcca81620bb84db9ab /header.tex | |
| parent | eb773c0d593a68f58871e16f4b0959784350b59b (diff) | |
Sync with source rev. 17734.
Diffstat (limited to 'header.tex')
0 files changed, 0 insertions, 0 deletions