Skip to content

Add useful tools

Dreche requested to merge tools into main

This merge adds some useful tools for doing several things. Most notably is a profilestats.json to get started, based upon the old data.

In the future there may be some improvements for these tools, for example support of command line options. Because of that this branch shouldn't get deleted yet.

Merge request reports