From 5fa095f51294afa1c9495faee76b052967830e5f Mon Sep 17 00:00:00 2001
From: "Glenn Y. Rolland" <glenux@glenux.net>
Date: Mon, 17 Nov 2008 00:47:22 +0100
Subject: [PATCH] Updated the ignore list for *.cmi *.cmx and *.cmo files.

---
 .hgignore | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.hgignore b/.hgignore
index 201adce..6d77cbf 100644
--- a/.hgignore
+++ b/.hgignore
@@ -2,4 +2,9 @@
 reference/*.[^z][^i][^p]
 doc/*.html
 doc/*.css
-.swp$
+^.*\.swp$
+^.*\.cmx$
+^.*\.cmo$
+^.*\.cmi$
+^.*\.o$
+^justnukeit$