diff options
| author | Eike Rathke <erack@redhat.com> | 2016-12-13 19:21:32 +0100 |
|---|---|---|
| committer | Eike Rathke <erack@redhat.com> | 2016-12-13 19:21:37 +0100 |
| commit | a9a5b95de8cf0005476a375b0e4038283f03b818 (patch) | |
| tree | 7a45f901fc01868b395126bce387187c0661e6bc /offapi | |
| parent | 97490635ef1b383b8c9759653edb4836015ba6d2 (diff) | |
rename to numberingtype instead of pagenumbering
... because that now is what it is about, it's just used in page numbering as well.
Change-Id: I5516b6babcd5438b6505d189943c21abfbe35a7e
Diffstat (limited to 'offapi')
0 files changed, 0 insertions, 0 deletions