Allow mods to set default lobby options.

This commit is contained in:
Paul Chote
2013-08-04 12:03:18 +12:00
parent 8fb7ed4913
commit 40533918f3
6 changed files with 12 additions and 0 deletions

View File

@@ -143,6 +143,8 @@ ServerTraits:
PlayerPinger
MasterServerPinger
LobbyDefaults:
ChromeMetrics:
mods/ra/metrics.yaml