tree 1a5e8c6fc7540781522cd86f7812ff52f0c17e0a
parent ed57fe77209f58f4b8c4880fb213da46eeb129fa
author Till Westmann <tillw@apache.org> 1464307605 -0700
committer Till Westmann <tillw@apache.org> 1464364174 -0700

structure docs a bit

Change-Id: I35a0c3bd13117ab71d17700e1a1aae91cb14d409
Reviewed-on: https://asterix-gerrit.ics.uci.edu/891
Reviewed-by: Yingyi Bu <buyingyi@gmail.com>
Reviewed-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>