diff options
author | Juan J. Martinez <jjm@usebox.net> | 2022-09-11 20:37:31 +0100 |
---|---|---|
committer | Juan J. Martinez <jjm@usebox.net> | 2022-09-11 20:37:31 +0100 |
commit | 230276c8a3e45a0079232739976e117db2d26b00 (patch) | |
tree | 32408f3ccab77059c00f79c7de32d23b367d2f6f /.gitignore | |
parent | 0a49f4e86d61c14e2d457e03cb56c65c764d8e55 (diff) | |
download | micro-lang-hs-230276c8a3e45a0079232739976e117db2d26b00.tar.gz micro-lang-hs-230276c8a3e45a0079232739976e117db2d26b00.zip |
More folding
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions