diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2014-08-05 17:34:26 +0100 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2014-08-05 17:34:26 +0100 |
| commit | 97b5fa2b7b9c8bd07d0be5068b2f031b58e8fc56 (patch) | |
| tree | ec74241ece4f7e64a8cb8a2cc324d710acfc06dd /resources/html/Ocean.std-theme/plus.gif | |
| parent | d59fec2c9551b5662a3507c0011e32a09a9c118f (diff) | |
If GhcProfiled, also build Haddock profiled.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Diffstat (limited to 'resources/html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions