diff -r f4e854a77aa3 -r adce0df23409 corba/.hgignore
--- a/corba/.hgignore	Wed Jul 05 22:30:52 2017 +0200
+++ b/corba/.hgignore	Mon Nov 28 09:20:13 2016 +0100
@@ -2,5 +2,4 @@
 ^dist/
 ^webrev
 /nbproject/private/
-^.hgtip
 .DS_Store