diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2014-10-31 11:08:02 +0100 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2014-10-31 11:08:26 +0100 |
| commit | 3937a98afe1bf1a215fd9115051af388e45b7299 (patch) | |
| tree | 908e05f1e435ba3208fa44c8b0e8d5088d113edc /html-test/src/Extensions.hs | |
| parent | 3fb325a2ca6b6397905116024922d079447a2e08 (diff) | |
Collapse user-defined section by default (re #335)
Diffstat (limited to 'html-test/src/Extensions.hs')
0 files changed, 0 insertions, 0 deletions