diff options
| author | Iavor S. Diatchki <diatchki@galois.com> | 2014-06-30 13:19:09 -0700 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2014-07-01 03:37:07 -0700 |
| commit | 8d20ca8d5a9bee73252ff2035ec45f9c03d0820c (patch) | |
| tree | 0dd2429e3937ffc3e05669d1c1f1a1623cd7a68d /resources/html/Classic.theme | |
| parent | 1a3f8f74116d749a17467c79ee30c5efabd694d2 (diff) | |
Propagate overloading-mode for instance declarations in haddock (#9242)
Diffstat (limited to 'resources/html/Classic.theme')
0 files changed, 0 insertions, 0 deletions