diff options
| author | Kyle Gunger <kgunger12@gmail.com> | 2022-03-06 15:49:16 -0500 |
|---|---|---|
| committer | Kyle Gunger <kgunger12@gmail.com> | 2022-03-06 15:49:16 -0500 |
| commit | f5c6b542a02ba0e55e55c155e8c33710edf02403 (patch) | |
| tree | f4731513fbd9531604ff49aa9221150afbf8891f /.gitignore | |
| parent | 8d0586407cd5a512cc3c94f948d21f4c912a0e3c (diff) | |
[EVAL] A bit more work
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,4 +2,4 @@ build/ .vscode/ *-test.tnp -*.tnt
\ No newline at end of file +*.tnt |