1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index b662ed9b..3d398cbd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,3 +6,4 @@ tmp
 *.hp
 *.pdf
 *.ps
+*.prof

diff --git a/.gitignore b/.gitignore index b662ed9b..3d398cbd 100644 --- a/.gitignore +++ b/.gitignore
@@ -6,3 +6,4 @@ tmp
6	*.hp	6	*.hp
7	*.pdf	7	*.pdf
8	*.ps	8	*.ps
		9	*.prof