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/ref/mini_DeprecatedNewtype.html | |
| parent | 54467c7e8bda4dd14dedcc4fec44ef787f7e8e3c (diff) | |
fixing org backend for ghc-head (9.5)
Diffstat (limited to 'html-test/ref/mini_DeprecatedNewtype.html')
0 files changed, 0 insertions, 0 deletions