diff options
| author | Juan J. Martinez <jjm@usebox.net> | 2022-09-10 19:42:50 +0100 |
|---|---|---|
| committer | Juan J. Martinez <jjm@usebox.net> | 2022-09-10 19:42:50 +0100 |
| commit | 5e1de5649a8d2983a1a81e59f47df282e71f9fe6 (patch) | |
| tree | 4a0034c398e115b1f13ff47ecc085d8078ec5f7d /.gitignore | |
| parent | c72455c9f4203ab7b9c617f26ffa7e5fdabf2d5f (diff) | |
| download | micro-lang-hs-5e1de5649a8d2983a1a81e59f47df282e71f9fe6.tar.gz micro-lang-hs-5e1de5649a8d2983a1a81e59f47df282e71f9fe6.zip | |
Renamed constructor
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions