Revision c63819d98f447d2cb42257d116de6179af9f4c0b

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

refactor node_view_gui full with include