diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2013-07-24 13:15:59 +0100 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2013-07-24 13:15:59 +0100 |
| commit | 9f356e8b53b3770293c8fd4e91fe1a2b40e42dee (patch) | |
| tree | e28278de3969c9a21f212dc6a3dd603798f4bbaa /resources/html/Ocean.std-theme/plus.gif | |
| parent | e2c419b7b581d72f49f2336025af2092127a9776 (diff) | |
Remove (error "synifyKind") to use WithinType, to allow haddock to process base.
Diffstat (limited to 'resources/html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions