diff options
author | 2024-08-02 17:13:55 +0200 | |
---|---|---|
committer | 2024-08-02 17:13:55 +0200 | |
commit | 81c395272089cd86e6e2e4bda9789e02141494f3 (patch) | |
tree | e2339222adbbc82cb9b55d71afec1fd666f38f07 /.gitignore | |
parent | 3f5922a5b68b84a9b23c89b9338c4a8dfe52f7b1 (diff) | |
download | properties-81c395272089cd86e6e2e4bda9789e02141494f3.tar.gz properties-81c395272089cd86e6e2e4bda9789e02141494f3.zip |
Add *.a and *.so in ignore
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -4,4 +4,6 @@ properties a.out *-lexer.c y.* -*-parser.*
\ No newline at end of file +*-parser.* +*.a +*.so |