Add the source trail files to .gitignore file to ignore files.

6 years ago · 71fd3d283e
parent e0938c81a8
commit 71fd3d283e
1 changed files with 5 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -20,3 +20,8 @@ random_seed
 CMakeLists.txt.user*
 *.unc-backup*
 .vscode
+
+# Ignore source trail files
+*.srctrlbm
+*.srctrldb
+*.srctrlprj