diff options
| author | Michael Haardt <michael@moria.de> | 2008-12-18 13:42:26 +0000 |
|---|---|---|
| committer | Michael Haardt <michael@moria.de> | 2008-12-18 13:42:26 +0000 |
| commit | 9683a68f97514134e8b0f52293d72b760cbdeaf2 (patch) | |
| tree | 7fd01c836fd3407d3cea91f0b45c48056b46c180 /doc/doc-docbook/PageLabelPDF | |
| parent | efd9a4221230676150af3f26d08432c5567c3a07 (diff) | |
Patch to previously committed patch that sorts the new option correctly.
Diffstat (limited to 'doc/doc-docbook/PageLabelPDF')
0 files changed, 0 insertions, 0 deletions