diff options
| author | Simon Hengel <simon.hengel@wiktory.org> | 2011-04-08 16:01:24 +0000 |
|---|---|---|
| committer | Simon Hengel <simon.hengel@wiktory.org> | 2011-04-08 16:01:24 +0000 |
| commit | 79a924301378410d38f1ee9400232fe967189429 (patch) | |
| tree | 355e29cabaf713089fe0612064e340faa1859ea5 /html/Ocean.std-theme/plus.gif | |
| parent | 69100027e6b6024fa6c7956e8593a2eef712fcb8 (diff) | |
Set unit tests back to work
Here "ghci>" was still used instead of ">>>".
Diffstat (limited to 'html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions