diff -r 955488f34ca4 -r 0bf74c622028 corba/.hgignore
--- a/corba/.hgignore	Wed Jul 05 17:41:27 2017 +0200
+++ b/corba/.hgignore	Tue Apr 26 16:29:35 2011 -0700
@@ -1,3 +1,4 @@
 ^build/
 ^dist/
 /nbproject/private/
+^.hgtip