update .gitignore

rems-project · Jul 29, 2024 · a68efa7 · a68efa7
1 parent 4386316
commit a68efa7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -19,4 +19,5 @@
 /sanity.xml
 /system.js
 /console_help_printer.native
-
+src_top/share_dir.ml
+random_seed.dat