Skip to content

Simple list of external tools

Gernot Maier requested to merge external-tools into main

I simply don't know where to write these down to not forget. Please refuse the merge request in case you have a better suggestion.

And it is obviously very incomplete.

Merge request reports