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 /.ghci | |
| 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 '.ghci')
0 files changed, 0 insertions, 0 deletions