ignore profile files

madgraph5 · Jun 23, 2020 · 84c842a · 84c842a
1 parent 2acc265
commit 84c842a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -9,3 +9,6 @@
 *.local
 *~
 /local/
+
+# profiling
+profile_*