gitignore: *.prof [ci skip]

This commit is contained in:
Simon Michael 2019-05-03 12:23:20 -07:00
parent 040f2ba1bf
commit 7dd5475187

1
.gitignore vendored
View File

@ -59,6 +59,7 @@ dist-newstyle/
old
/log
/profs/*
/*.prof.*
/bin/**
/.latest.*
test.hs