Fix #650: Support setting a server URL in settings.json
Closes #650 (closed)
cc @jcgruenhage : this adds a defaultServerUrl
option in the settings.json
file so you can point the front-end to any API server without having to build it :)
Closes #650 (closed)
cc @jcgruenhage : this adds a defaultServerUrl
option in the settings.json
file so you can point the front-end to any API server without having to build it :)