Revision 4ca6677beb83811071cce1d48e23a9d97706f2de

Committed on 17/09/2013 7:33 am by Björn Dieding <[email protected]> [GitHub Diff]

- Documentation fix