diff --git a/.gitignore b/.gitignore index 104fdfee..7bb479e0 100644 --- a/.gitignore +++ b/.gitignore @@ -20,3 +20,8 @@ random_seed CMakeLists.txt.user* *.unc-backup* .vscode + +# Ignore source trail files +*.srctrlbm +*.srctrldb +*.srctrlprj