tree 12db1bd23613736f228c90439aeeb8695a242035
parent 6d4afdd5679f77d8944dc26aff34e62d6166006e
author Marc Kupietz <kupietz@ids-mannheim.de> 1569596342 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1569600972 +0200

More minor documentation typo fixes

Change-Id: I29932851e749d50823e91943a2b7557eda9c4bbd