From 12362a6cdc58e812ee8eba763c74e2d1a832af98 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 1 Jan 1970 00:00:00 +0000 Subject: [PATCH] Ignore a few more files. --- .hgignore | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.hgignore b/.hgignore index 304f0e3..0cf8c77 100644 --- a/.hgignore +++ b/.hgignore @@ -1,4 +1,8 @@ syntax: glob +*~ +*.o +*.so +*.a *.cmi *.cmo *.cmx -- 1.8.3.1