diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-05-30 16:22:44 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-05-30 16:22:44 +1000 |
| commit | c96f8f6c820d43a55388f0307f3a6de9471ebb10 (patch) | |
| tree | d28b4a77c03a4bb50b9ee0ea5d87074ace254e60 /src/F2Md/Types.hs | |
| parent | 231b58693759be1174a3866e469f170387c22376 (diff) | |
linting
Diffstat (limited to 'src/F2Md/Types.hs')
0 files changed, 0 insertions, 0 deletions