--- 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