summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-12-26 12:30:22 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-12-26 12:30:22 -0500
commitded88e6c25676656959a52a921506287d370358a (patch)
tree91f0c483a60494ca2498d96bce68163202ac0c0b
parent28794e4d2ce023de6fe573a264bf27a7ede01060 (diff)
Add to .hgignore
-rw-r--r--.hgignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.hgignore b/.hgignore
index 4139717b..c3272f05 100644
--- a/.hgignore
+++ b/.hgignore
@@ -62,6 +62,7 @@ m4/lt*.m4
config.*
configure
depcomp
+compile
install-sh
ltmain.sh
missing