diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-06-29 21:54:43 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-06-29 21:54:43 +0200 |
| commit | 24bd419149f5962eed90064753dd958e03863abd (patch) | |
| tree | 5119d49180673ddf9a50520f340cf59b9cd0ee7b /src/Erebos/Storage/Head.hs | |
| parent | d112701ce72b090b79f101f6a2d0ccac7440762e (diff) | |
Support reporting other errors during command-line parsing
Diffstat (limited to 'src/Erebos/Storage/Head.hs')
0 files changed, 0 insertions, 0 deletions