From 6e8853d922c0a547b65e4e72b9ce285495e512b6 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 3 May 2012 10:29:12 -0400 Subject: Adaptations to ezyang's patch --- .hgignore | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '.hgignore') diff --git a/.hgignore b/.hgignore index b5ed224a..feb43f87 100644 --- a/.hgignore +++ b/.hgignore @@ -58,5 +58,5 @@ syntax: regexp ^Makefile$ ^src/c/Makefile$ ^libtool$ -^config.h$ -^stamp-h1$ +^include/urweb/config.h$ +^include/urweb/stamp-h1$ -- cgit v1.2.3