diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-07-21 13:23:51 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-07-23 00:27:49 +1000 |
| commit | 7c1d533fc596acd5a6a4f197f9f3f3313dd82def (patch) | |
| tree | 535fd36130cf2a04bb8e6ac913d9a43a7a2d9134 /html-test/src/BugExportHeadings.hs | |
| parent | 307a8d51b708bda1b7fd11000fdd20ad4402de8e (diff) | |
fixing org backend for ghc-head (9.5)ghc-gitlab-ghc-9.4.1rc1
Diffstat (limited to 'html-test/src/BugExportHeadings.hs')
0 files changed, 0 insertions, 0 deletions