diff -r 127d88c7695a -r 1e2a9fcb3095 .hgignore
--- a/.hgignore	Fri May 13 15:35:14 2011 +0200
+++ b/.hgignore	Fri May 13 15:36:46 2011 +0200
@@ -26,6 +26,7 @@
 config.log
 config.status
 configure
+debuild.log
 devices/Kbuild
 devices/Makefile
 devices/Makefile.in
@@ -99,12 +100,15 @@
 examples/rtai/Kbuild
 examples/rtai/Makefile
 examples/rtai/Makefile.in
+examples/rtai_rtdm/.deps
 examples/user/.deps
 examples/user/.libs
 examples/user/Makefile
 examples/user/Makefile.in
 examples/user/TAGS
 examples/user/ec_user_example
+examples/xenomai/.deps
+examples/xenomai_posix/.deps
 include/Makefile
 include/Makefile.in
 include/TAGS
@@ -136,5 +140,3 @@
 tool/Makefile.in
 tool/TAGS
 tool/ethercat
-debuild.log
-