diff -r 08aa7305b9ba -r 3bedfc5ecd74 .hgignore --- a/.hgignore Fri Dec 18 12:30:45 2015 +0100 +++ b/.hgignore Tue Feb 16 15:18:34 2016 +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