diff --git a/.gitignore b/.gitignore index d240bbd11c52c593b0012a6b5b07c5c81004d909..3d638daa280aabb80e0753cc9847cc64c60906cb 100644 --- a/.gitignore +++ b/.gitignore @@ -122,3 +122,4 @@ result_images/ Digraph.gv Digraph.gv.pdf *.pstat +*.prof