aboutsummaryrefslogtreecommitdiff
path: root/doc/doc.html2ps
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2018-01-18 11:41:23 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2018-01-18 11:41:23 +0200
commitd0954351f53c0de0d2b0a0e0f422a40f82142d5c (patch)
tree50b201da74cb3b56da8b7d53c970c4bdfcd827af /doc/doc.html2ps
parent14b295bdb00305370ec0aaad7f4319bad55ad6e9 (diff)
Use prefix_map::find_sup/sub()
Diffstat (limited to 'doc/doc.html2ps')
0 files changed, 0 insertions, 0 deletions