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 /resources/html/Classic.theme/xhaddock.css | |
parent | 58237d76c96325f25627bfd7cdad5b93364d29a4 (diff) |
Add support for \cases
See merge request ghc/ghc!7873
Diffstat (limited to 'resources/html/Classic.theme/xhaddock.css')
0 files changed, 0 insertions, 0 deletions