Patrick Lühne 753cc3e5a8 Improve output		2020-05-07 17:19:42 +02:00
..
common	Use foliage traits	2020-04-17 04:10:23 +02:00
verify_properties	Work in progress	2020-05-05 19:40:57 +02:00
common.rs	Restructure project	2020-02-04 16:53:52 +01:00
verify_properties.rs	Improve output	2020-05-07 17:19:42 +02:00