Private GIT

Skip to content
Snippets Groups Projects
Commit 83189131 authored by miigotu's avatar miigotu
Browse files

Merge pull request #2725 from VinceVal/move-logs-to-tools

Move log menu to tools menu and update tools badge
parents 09b7131d 6d10dfb3
Branches
Tags
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment