[1977599] Server launcher config does not update after server properties change
4 files changed
tree: 7a612264b6a914225efcc1bd369714bd17129b5b
  1. features/
  2. plugins/