diff -r 000000000000 -r 4472ee7c6c3e drivers/timers_xeno/.cvsignore
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/drivers/timers_xeno/.cvsignore	Wed May 10 16:59:40 2006 +0200
@@ -0,0 +1,1 @@
+Makefile