4 Commits

Author	SHA1	Message	Date
Lucas Dohmen	f939c8de08	Removed the unused Coverage functionality	2014-06-16 14:39:40 +02:00
gschwab	e6a2328438	merged for revert	2014-06-04 17:19:34 +02:00
gschwab	036e29f45b	tabs replaced with spaces	2014-06-04 15:59:17 +02:00
Thomas Schmidts	fb9b8986d2	the new documentation	2014-06-02 13:44:09 +02:00