diff options
| author | Juan J. Martinez <jjm@usebox.net> | 2022-08-15 12:11:10 +0100 |
|---|---|---|
| committer | Juan J. Martinez <jjm@usebox.net> | 2022-08-15 12:11:10 +0100 |
| commit | 60d8f688a0c66759bdb7645c9dd4c232bc433c9f (patch) | |
| tree | c81394d00bf9825eae6c456ac6238e0f72bbe4ce /.gitignore | |
| parent | cd4c8a3f1b92f0e6a585bd0b199374b8b99c6238 (diff) | |
| download | micro-lang-hs-60d8f688a0c66759bdb7645c9dd4c232bc433c9f.tar.gz micro-lang-hs-60d8f688a0c66759bdb7645c9dd4c232bc433c9f.zip | |
Unify error reporting
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions