diff options
| author | Juan J. Martinez <jjm@usebox.net> | 2022-09-11 10:51:22 +0100 |
|---|---|---|
| committer | Juan J. Martinez <jjm@usebox.net> | 2022-09-11 10:51:22 +0100 |
| commit | ead8764499fe3c094b1e60a1b8464e9e008fc260 (patch) | |
| tree | ed7187e07313560d21ed5126c6948931a67ef8b3 /.gitignore | |
| parent | acab64cc0f21c0ee9fc5b9b08b60e08997818222 (diff) | |
| download | micro-lang-hs-ead8764499fe3c094b1e60a1b8464e9e008fc260.tar.gz micro-lang-hs-ead8764499fe3c094b1e60a1b8464e9e008fc260.zip | |
Folding constants in addition
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions