diff options
author | Yuchen Pei <hi@ypei.me> | 2022-08-16 14:39:04 +1000 |
---|---|---|
committer | Yuchen Pei <hi@ypei.me> | 2022-08-16 17:43:40 +1000 |
commit | d62d91dffcb855c83a7e60bf35a8a17dc1e985dd (patch) | |
tree | f0b5d04e02d979e1c02ac3cdc0e4d36153aa85e7 /html-test/ref/GADTRecords.html | |
parent | a96b62e6153fa98d030ae7c6f969182272e01149 (diff) |
updating readme now that the org backend supports odirghc-9.4
Diffstat (limited to 'html-test/ref/GADTRecords.html')
0 files changed, 0 insertions, 0 deletions