summaryrefslogtreecommitdiff
path: root/source/auxiliary
diff options
context:
space:
mode:
authorMiklos Vajna <vmiklos@suse.cz>2012-11-27 18:06:36 +0100
committerMiklos Vajna <vmiklos@suse.cz>2012-11-27 18:08:17 +0100
commit05bd6789ba844772f9757fa1196175e9591ccd74 (patch)
tree068184415064ae4f97a34174d150356659457a9b /source/auxiliary
parentdf872eb038151f90ee6a128f33acbbd96c000a70 (diff)
redlining_navigation: add missing paragraph ids
Diffstat (limited to 'source/auxiliary')
0 files changed, 0 insertions, 0 deletions