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/HiddenInstancesA.hs | |
| parent | d567a12b2d24bab610cd7e8f8014d40c7615e24d (diff) | |
Do not insert anchor for section headings in contents box
Diffstat (limited to 'html-test/src/HiddenInstancesA.hs')
0 files changed, 0 insertions, 0 deletions