diff -r 1d9be5716dee -r 5995331a55fe .hgignore --- a/.hgignore Mon Oct 26 08:28:10 2015 +0100 +++ b/.hgignore Thu Nov 05 16:54:49 2015 +0100 @@ -111,6 +111,7 @@ examples/user/Makefile.in examples/user/TAGS examples/user/ec_user_example +examples/user_ccat/ examples/xenomai/.libs examples/xenomai/ec_xenomai_example examples/xenomai_posix/.libs