Daniel Chappuis 44658b90d8 Updating user manual		2020-05-24 16:19:52 +02:00
..
API	Changes for release of version 0.7.1	2019-07-01 08:42:27 +02:00
UserManual	Updating user manual	2020-05-24 16:19:52 +02:00