diff .hgignore @ 1:db4d025f7bd3

Modernize configuration process
author Adam Chlipala <adam@chlipala.net>
date Sat, 27 Dec 2014 07:13:22 -0500
parents 33bf7ee17644
children bf58106560ba
line wrap: on
line diff
--- a/.hgignore	Sat Mar 03 14:59:04 2012 -0500
+++ b/.hgignore	Sat Dec 27 07:13:22 2014 -0500
@@ -19,3 +19,5 @@
 ^libtool$
 ^config.h$
 ^stamp-h1$
+^compile$
+^ar-lib$