October 02, 2017
Improvements
- Added support for deleting players in the player tool
- Newly created players are now immediately opened for edit
Fixed
- Value names sometimes not displayed when searching in the value selector
October 02, 2017
Improvements
Fixed