diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2022-03-22 22:52:39 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-03-22 22:52:39 +0100 |
| commit | b9e50633254a8c45159a6088309969872b8aae50 (patch) | |
| tree | bca7eb3e6f049fda54f17b168e711be4cfae5169 /src/Erebos/Sync.hs | |
| parent | 8d33ba4d499391c2aba98cefef61afb5290c7d15 (diff) | |
Use Data.Kind.Type instead of deprecated star symbol
Diffstat (limited to 'src/Erebos/Sync.hs')
0 files changed, 0 insertions, 0 deletions