tree 20eeeb95932f62b5828f24c274b0ff65246ecc80
parent 7a4b5681f376ce4f99cc4a6ee64187068d510332
author Till Westmann <tillw@apache.org> 1505498131 -0700
committer Till Westmann <tillw@apache.org> 1505881080 -0700

[NO ISSUE] Small documentation fixes

Change-Id: Ib7c040cf90f48f848a16e2729fa2e75d654b565d
Reviewed-on: https://asterix-gerrit.ics.uci.edu/2013
Reviewed-by: Xikui Wang <xkkwww@gmail.com>
Sonar-Qube: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Contrib: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Integration-Tests: Jenkins <jenkins@fulliautomatix.ics.uci.edu>