Closed robalni closed 4 years ago
This is fixed by changing "show_ui servers" to "show_ui Servers" because the name of the Servers ui has been changed in a previous commit but in this place the old name was still used.
Fixes #146
This is fixed by changing "show_ui servers" to "show_ui Servers" because the name of the Servers ui has been changed in a previous commit but in this place the old name was still used.
Fixes #146