Tweaks from repl_tools

2023-02-23 03:35:05 +11:00
parent 5e0268f519
commit 3fca594209
5 changed files with 9 additions and 7 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -19,6 +19,8 @@ bin/
 *.db
 *.o
 *.a
+*.so
+*.dll
 *.exe
 *.meta
 *.log