Skip to content

211 improve interface to graphtool and netzschleuder, fixes #211#289

Merged
IngoScholtes merged 5 commits into
mainfrom
211-improve-interface-to-graphtool-and-netzschleuder
Oct 2, 2025
Merged

211 improve interface to graphtool and netzschleuder, fixes #211#289
IngoScholtes merged 5 commits into
mainfrom
211-improve-interface-to-graphtool-and-netzschleuder

improved formatting and exception handling

87fd450
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar