From 7dd5475187207ba04dc2eafaac1c0251aa770314 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Fri, 3 May 2019 12:23:20 -0700
Subject: [PATCH] gitignore: *.prof  [ci skip]

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 3f9f7e948..a0ad40ea2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -59,6 +59,7 @@ dist-newstyle/
 old
 /log
 /profs/*
+/*.prof.*
 /bin/**
 /.latest.*
 test.hs