> On 22. 8. 2022, at 15:04, Mark Brown <broonie@xxxxxxxxxx> wrote: > > On Mon, Aug 22, 2022 at 02:38:09PM +0200, Martin Povišer wrote: >>> On 22. 8. 2022, at 14:27, Mark Brown <broonie@xxxxxxxxxx> wrote: > >>> There was a tool floating about in the past (last copy I knew about was >>> on Wolfson's git but they took that down) - can we not just continue to >>> do that? > >> I don’t know the tool or where would I find it. I think it’s neat > > Copying in Charles and Richard who might know about the status of the > tool Dimitris wrote. Thanks. >> simply having a ‘graph.dot’ at hand, especially since it requires >> little code. (Although sure there’s the danger of it growing.) > > I'm also worried about people going in and wanting other more tool > specific formats adding, if we didn't have anything at all it'd be one > thing but we do have something. Sure, although I would argue DOT is by a large margin the standard format to represent graphs in. Best, Martin