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/minus.jpg | |
parent | 307a8d51b708bda1b7fd11000fdd20ad4402de8e (diff) |
fixing org backend for ghc-head (9.5)ghc-gitlab-ghc-9.4.1rc1
Diffstat (limited to 'html/minus.jpg')
0 files changed, 0 insertions, 0 deletions