diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2015-03-17 17:55:01 +0100 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2015-03-17 17:55:01 +0100 |
| commit | 076f5ea60675ee04f2d2d60a02ceb7d3f28e6844 (patch) | |
| tree | 92ae641c80913159118dcdf63c012077d92c7b64 /header.tex | |
| parent | 988043c74eec24dfc2c82eb80f8964f01b3784b2 (diff) | |
Sync with source rev. 17687.
Diffstat (limited to 'header.tex')
0 files changed, 0 insertions, 0 deletions