Skip to content

remove unused dotgen2

This was added over ten years ago as "experimental new dot core." As far as I can tell, this is not used anywhere.

Merge request reports