diff options
author | c | 2024-03-30 09:24:53 -0400 |
---|---|---|
committer | c | 2024-03-30 09:24:53 -0400 |
commit | c26c65dcf836a86ff3374a3e92e57ec61568e8c9 (patch) | |
tree | 0673c1beb44eddf26e7ff23f096ded05c0ddbc9c /.gitignore | |
parent | bbcda663d5b2b2f055de12107e0abab536e5beea (diff) |
Nested functions and transitivity works.
Added a `str_cat` function.
Diffstat (limited to '.gitignore')
-rwxr-xr-x | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -5,6 +5,7 @@ tags *.out *.tmp.* coredump +test.halk *.notes.md [._]sw[a-p] [._]*.sw[a-p] |