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 /odk/examples | |
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 'odk/examples')
0 files changed, 0 insertions, 0 deletions