diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2014-12-26 09:04:24 +0100 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2014-12-26 09:04:24 +0100 |
| commit | fe99eab87b92d76be1b48cb9f73dee633f874146 (patch) | |
| tree | 4c213eb0398f9b117f583a64a651d29c1df1b0ca /header.tex | |
| parent | f37a7025bebbb1c4f39e08b8cec32ce1ba977bf4 (diff) | |
Sync with source as of 2014-12-26 09:01.
Diffstat (limited to 'header.tex')
0 files changed, 0 insertions, 0 deletions