Fabio Priuli 2691e9502c Removed unneeded line I forgot to delete from previous commit		2010-01-06 15:19:37 +00:00
docs	Changed behavior of -watchdog option to act like a real watchdog. It now	2009-12-24 02:52:17 +00:00
src	Removed unneeded line I forgot to delete from previous commit	2010-01-06 15:19:37 +00:00
.gitattributes	Forgot to commit these:	2010-01-06 11:38:48 +00:00
makefile	Makefile changes:	2010-01-05 22:01:10 +00:00