Skip to content
Permalink
Browse files

gitignore: *.prof [ci skip]

  • Loading branch information...
simonmichael committed May 3, 2019
1 parent 040f2ba commit 7dd5475187207ba04dc2eafaac1c0251aa770314
Showing with 1 addition and 0 deletions.
  1. +1 −0 .gitignore
@@ -59,6 +59,7 @@ dist-newstyle/
old
/log
/profs/*
/*.prof.*
/bin/**
/.latest.*
test.hs

0 comments on commit 7dd5475

Please sign in to comment.
You can’t perform that action at this time.