src/Tools/GraphBrowser/etc/build.props
Fri, 16 Jul 2021 12:40:39 +0200 wenzelm clarified directory;
Fri, 16 Jul 2021 12:11:13 +0200 wenzelm clarified component setup for old graph browser;
less more (0) tip