From 71fd3d283ee30179b7759b5e7d8fa12bfa0bcdd6 Mon Sep 17 00:00:00 2001
From: Gustavo Carneiro <gcarneiroa@hotmail.com>
Date: Wed, 15 Jul 2020 22:30:11 -0300
Subject: [PATCH] Add the source trail files to .gitignore file to ignore
 files.

---
 .gitignore | 5 +++++
 1 file changed, 5 insertions(+)

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