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/DeprecatedFunction2.hs | |
parent | 3fb325a2ca6b6397905116024922d079447a2e08 (diff) |
Collapse user-defined section by default (re #335)
Diffstat (limited to 'html-test/src/DeprecatedFunction2.hs')
0 files changed, 0 insertions, 0 deletions