diff options
| author | pommicket <pommicket@gmail.com> | 2022-10-04 11:42:36 -0400 |
|---|---|---|
| committer | pommicket <pommicket@gmail.com> | 2022-10-04 11:42:36 -0400 |
| commit | 3712fdf2437d78706685e5e5121cd9a56eae7c21 (patch) | |
| tree | 0feacda80a534bd8559ee7c94ba389ee81a768e7 /.gitignore | |
| parent | d109dc4ba5dcb85b16d35ff5235c6db346da47bc (diff) | |
various improvements
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -3,3 +3,4 @@ tags TAGS *~ *.out +scratch |