diff options
| author | David Waern <david.waern@gmail.com> | 2010-08-26 21:40:59 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2010-08-26 21:40:59 +0000 |
| commit | d830dca2ed25bb71b7c745feef715dab7de2c007 (patch) | |
| tree | 61a78f63519653ab25b94872f4c65612403d4d52 /html/Ocean.std-theme/ocean.css | |
| parent | 5a5c656c9817e1f0d83531cec4eeca38333519df (diff) | |
Get rid of GhcModule and related cruft
We can get everything we need directly from TypecheckedModule.
Diffstat (limited to 'html/Ocean.std-theme/ocean.css')
0 files changed, 0 insertions, 0 deletions