Checkout
Jürgen Edner
committed
on 31 Jul
updated documentation.