3 commits

Author	SHA1	Message	Date
philippje	f864f6bc47	changed the date of day without backup ... Changed from 20. December to 19. December for easier comprehension (viewing the calendar.) The missing 'd' at 20. December is hardly noticeable compared to e.g. the 19. December. (cherry picked from commit 88e937d0f9)	2017-06-21 00:51:59 +02:00
Lee Bousfield	0a4a95eb17	Remove trailing whitespace	2016-07-27 10:05:51 -04:00
Thomas Waldmann	c773c882b9	add prune visualization / example, fixes #723	2016-06-27 21:20:35 +02:00