3 commits

Author	SHA1	Message	Date
philippje	88e937d0f9	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.	2017-06-12 22:17:29 +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