diff options
author | Yuchen Pei <hi@ypei.me> | 2022-07-21 13:23:51 +1000 |
---|---|---|
committer | Yuchen Pei <hi@ypei.me> | 2022-07-21 13:23:51 +1000 |
commit | 14d72f3c69ae189117587f1a3adf49f06601852f (patch) | |
tree | ea0d4edbf34446109e9d6981813beffc11056490 /html-test/tests/mini_DeprecatedFunction.html.ref | |
parent | 54467c7e8bda4dd14dedcc4fec44ef787f7e8e3c (diff) |
fixing org backend for ghc-head (9.5)
Diffstat (limited to 'html-test/tests/mini_DeprecatedFunction.html.ref')
0 files changed, 0 insertions, 0 deletions