From e167f2ce8c9f54e8f2028264cced3b2ae1c5dd3d Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 1 Jan 1970 00:00:00 +0000 Subject: [PATCH] Ignore gmon.out (profiling temporary). --- .hgignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.hgignore b/.hgignore index 70ca1e7..8fdb314 100644 --- a/.hgignore +++ b/.hgignore @@ -39,3 +39,4 @@ lib/diskimage_lvm2_parser.mli lib/int63.ml *.img *.annot +gmon.out -- 1.8.3.1