diff options
author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2011-08-11 13:03:47 +0200 |
---|---|---|
committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2011-08-11 13:03:47 +0200 |
commit | 3792abd23920ccd5258f70b93b99139754c9ab00 (patch) | |
tree | 5586789f2902c624cd45d6d23ad010821dfc7ee2 /manual.scrbl | |
parent | e697be3cf1b35e482a89a553a7b229e7f9d8f598 (diff) |
Fix primary file setting.
Diffstat (limited to 'manual.scrbl')
0 files changed, 0 insertions, 0 deletions