diff options
author | watashi <zejun.wu@gmail.com> | 2015-04-26 16:35:28 -0700 |
---|---|---|
committer | watashi <zejun.wu@gmail.com> | 2015-04-26 16:35:35 -0700 |
commit | 5d04e313cc52ecf88b0fd0b3d0d39ce6a8dc7406 (patch) | |
tree | 9b03274f736ce33540b7f21b7051691070e8009c /html-test/src/Ticket61.hs | |
parent | d567a12b2d24bab610cd7e8f8014d40c7615e24d (diff) |
Do not insert anchor for section headings in contents box
Diffstat (limited to 'html-test/src/Ticket61.hs')
0 files changed, 0 insertions, 0 deletions