Fix #650: Support setting a server URL in settings.json

This commit is contained in:
Eliot Berriot 2019-01-15 14:56:51 +01:00
parent 6d0a4594c4
commit c20f1ad22e
No known key found for this signature in database
GPG key ID: DD6965E2476E5C27
5 changed files with 104 additions and 39 deletions

View file

@ -0,0 +1 @@
Support setting a server URL in settings.json (#650)