--- a/langtools/.hgignore	Wed Jul 05 22:30:52 2017 +0200
+++ b/langtools/.hgignore	Mon Nov 28 09:20:13 2016 +0100
@@ -3,5 +3,4 @@
 ^webrev
 ^.idea
 /nbproject/private/
-^.hgtip
 .DS_Store