Skip to content

drop more tools

Christoph Cullmann requested to merge work/no-more-tools into master

we have a proper git integration and moretools in not maintained

Merge request reports