Joris Vink 19a05b0768 Remove stuff that was done		2013-07-16 09:49:26 +02:00
..
MODULES	update README for github and split it up into docs/	2013-06-05 16:41:42 +02:00
TODO	Remove stuff that was done	2013-07-16 09:49:26 +02:00