diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2024-07-06 12:20:54 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-07-06 12:23:15 +0200 |
| commit | c7f64b37e6442504fe5c41dbce6e7078cb434f31 (patch) | |
| tree | d3543378fad3db70fdb70ba268643a1480911580 /src/Erebos/Set.hs | |
| parent | 0a8b9157d4204115530f2981ff188d532c8426a5 (diff) | |
Readme: reformat command descriptions as definition lists
Diffstat (limited to 'src/Erebos/Set.hs')
0 files changed, 0 insertions, 0 deletions