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 /.github/workflows | |
| parent | a96b62e6153fa98d030ae7c6f969182272e01149 (diff) | |
updating readme now that the org backend supports odirghc-9.4
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions