tree 4756c27f00eb7552020eeeb6d758437c610d2f76
parent bb55addec09a1039d6f4de2e580b71968c3bd513
author Davide Pesavento <davidepesa@gmail.com> 1619383102 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1619409986 -0400

build: make graphviz optional for building documentation

Change-Id: I779e69037ecef1d49e035a572a843ef3a861e614