diff options
author | Jakob Kaivo <jkk@ungol.org> | 2020-03-30 15:42:46 -0400 |
---|---|---|
committer | Jakob Kaivo <jkk@ungol.org> | 2020-03-30 15:42:46 -0400 |
commit | f5686f6dcd5bd446387d1767a1084e8e7d833b47 (patch) | |
tree | 55b868c70e160e1b84e2fbadde605068bd2d95f2 /.gitignore | |
parent | aa30cdc2098ca309668517f8e3a240792d24d1a0 (diff) |
save include files as a submodule
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -1,3 +1,2 @@ -include obj *.a |