diff options
| author | Kazu Yamamoto <kazu@iij.ad.jp> | 2013-02-07 17:45:10 +0900 |
|---|---|---|
| committer | Kazu Yamamoto <kazu@iij.ad.jp> | 2013-02-07 17:45:10 +0900 |
| commit | 85b8ac017f0ac6d3eda397e586a75bb9f7c2760b (patch) | |
| tree | dda8dea943bd5447aa81945fbaf4bc1810b5697c /resources/html/Ocean.std-theme/minus.gif | |
| parent | ac12c7041be4898896e4ef9c8d831bf23402c531 (diff) | |
Using new syntax in html-test/src/GADTRecords.hs.
Diffstat (limited to 'resources/html/Ocean.std-theme/minus.gif')
0 files changed, 0 insertions, 0 deletions