diff .hgignore @ 507:ca95f9e4d45f

Profiling in Makefile
author Adam Chlipala <adamc@hcoop.net>
date Tue, 25 Nov 2008 15:57:16 -0500
parents b10132434adc
children a6159d0940f0
line wrap: on
line diff
--- a/.hgignore	Tue Nov 25 10:05:44 2008 -0500
+++ b/.hgignore	Tue Nov 25 15:57:16 2008 -0500
@@ -26,3 +26,4 @@
 demo/demo.*
 
 *.sql
+*mlmon.out