Revision a964da7acfb42cfc59653875e7691058ce7109f1

Committed on 17/10/2018 5:55 am by Luca Realdi <[email protected]> [GitHub Diff]

refactor node_view_gui full with include