diff options
author | Niklas Haas <git@nand.wakku.to> | 2014-03-11 10:36:55 +0100 |
---|---|---|
committer | Niklas Haas <git@nand.wakku.to> | 2014-03-11 10:37:32 +0100 |
commit | 5f02bd67b9a17feb2dc64dc5f5c011996850fb8a (patch) | |
tree | 4eef77b6be575cc74be20328700d8b7ceb998747 /html-test/src/Ticket253_1.hs | |
parent | b9995041b5c838d41ba14ff684d9f5bfacd9ffc4 (diff) |
Revert "Reorder topDeclElem to move the source/wiki links to the top"
This reverts commit 843c42c4179526a2ad3526e4c7d38cbf4d50001d.
This change is no longer needed with the new rendering style, and it
messes with copy/pasting lines.
Diffstat (limited to 'html-test/src/Ticket253_1.hs')
0 files changed, 0 insertions, 0 deletions