Skip to content

Added stats page, change name of debug menu to: tools

Allard Oelen requested to merge stats-page into master
  • Page showing the stats from the backend
  • Change the debug menu name to "Tools" in the nav bar
  • Added beta label to "Resources" and "Predicates" pages

Merge request reports