updated gitignore

2020-10-15 16:19:50 -04:00 · 2020-10-15 16:19:50 -04:00 · 9912b0fd5e
parent 8f8765d0e2
commit 9912b0fd5e
1 changed files with 1 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -22,6 +22,7 @@
 *.so
 *.so.*
 !/tools/ido5.3_compiler/usr/lib/*.so*
+!/tools/ido5.3_compiler/lib/*.so*
 *.dylib

 # Executables