summaryrefslogtreecommitdiff
path: root/.hgignore
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-05-03 10:29:12 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-05-03 10:29:12 -0400
commit6e8853d922c0a547b65e4e72b9ce285495e512b6 (patch)
tree496e99c0deed91ed81df74ef5dd397edce5ea011 /.hgignore
parent53ab42ae386350fbcd0171c8ba630bb8dcb71c54 (diff)
Adaptations to ezyang's patch
Diffstat (limited to '.hgignore')
-rw-r--r--.hgignore4
1 files changed, 2 insertions, 2 deletions
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$