added the config option of the public server addon to the admin panel #171

Merged
tobiasd merged 4 commits from 20131220-public_server_adminpanel into master 2013-12-20 20:05:20 +01:00
tobiasd commented 2013-12-20 20:04:15 +01:00 (Migrated from github.com)
No description provided.
Sign in to join this conversation.
No description provided.