Skip to content
GitLab
Commit 0216ee65 authored by Benoit Mortier's avatar Benoit Mortier
Browse files

Fixes: #1433 servtabs and worktabs should be renamed

parent 59f3e911
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 8 deletions
+4 -8
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment