X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fgmon.out;fp=helm%2Finterface%2Fgmon.out;h=0000000000000000000000000000000000000000;hb=fa11ed6dc134f8ad3421c37a97271018e075bbed;hp=c48b8406fc2edecce5ecb805db4f3bb4bf4cddc5;hpb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;p=helm.git

diff --git a/helm/interface/gmon.out b/helm/interface/gmon.out
deleted file mode 100644
index c48b8406f..000000000
Binary files a/helm/interface/gmon.out and /dev/null differ