diff options
| author | Jakob Brünker <jakob.bruenker@gmail.com> | 2022-03-27 12:03:12 +0000 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2022-04-01 15:46:22 +0000 |
| commit | fb0e9bac0a5297f995b151f25aa1ce3e622e12ea (patch) | |
| tree | 78c39d8082f06b8affe99747606c95fd88a12ded /haddock-api/resources/html/Ocean.theme/plus.gif | |
| parent | 58237d76c96325f25627bfd7cdad5b93364d29a4 (diff) | |
Add support for \cases
See merge request ghc/ghc!7873
Diffstat (limited to 'haddock-api/resources/html/Ocean.theme/plus.gif')
0 files changed, 0 insertions, 0 deletions