--- a/.hgignore Thu Aug 27 17:37:29 2020 +0100 +++ b/.hgignore Thu Oct 08 17:58:13 2020 +0100 @@ -12,6 +12,8 @@ */docs/output/* */docs/*.xml.profiled +*/build + */objbc */objvc */objmingw @@ -21,3 +23,4 @@ *.orig *.local *.other +