docs: updated server references to include Armadillo - #516

docs: updated server references to include Armadillo#516

timcadman merged 1 commit into

v7.0-devdatashield/dsBase:v7.0-devfrom

docs/server-namesdatashield/dsBase:docs/server-namesCopy head branch name to clipboard