diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2021-02-09 21:32:28 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2021-02-09 21:32:28 +0100 |
| commit | 214aa9142556cbee2cea214d395a7cf9a2c86c4b (patch) | |
| tree | 3c3e393c7c13964c12bba65011748c478f7990ca /src/Set.hs | |
| parent | 0ef31d05e00696d08adaf3ff4d5300424f88bdc1 (diff) | |
Properly handle empty history listing
Diffstat (limited to 'src/Set.hs')
0 files changed, 0 insertions, 0 deletions