tree 1738653ccdc44f502378543710fcc3e5951ca0e4
parent 7748f9ac15b144b91506308f18d0ebeb17858682
author GianMaria Romanato <gm.romanato@gmail.com> 1481218444 +0100
committer GianMaria Romanato <gm.romanato@gmail.com> 1481218444 +0100

Update tooling documentaiton with more details about plan files.