diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-06-18 10:43:57 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-06-18 10:43:57 -0700 |
commit | e3f52bff799e811d8b8a411be091a74979edc5fb (patch) | |
tree | 60edbb1e401047c196751c8c409bf05031d0584b /resources/html/Ocean.std-theme | |
parent | dd3fee863579c88e49aa2b955cbc58e3c094ae4d (diff) |
Removed reliance on LambdaCase (which breaks build with ghc 7.4).
Diffstat (limited to 'resources/html/Ocean.std-theme')
0 files changed, 0 insertions, 0 deletions