update documentation

This commit is contained in:
Davide Alberani 2016-07-10 17:27:31 +02:00
parent 82cdbf6738
commit 3e1d6e987e