diff -r 16ba58282d11 -r 902aeaf97ec5 corba/.hgignore
--- a/corba/.hgignore	Wed Jul 05 18:03:56 2017 +0200
+++ b/corba/.hgignore	Tue Mar 06 20:25:43 2012 +0000
@@ -2,3 +2,4 @@
 ^dist/
 /nbproject/private/
 ^.hgtip
+.DS_Store