[Feature] Allow overriding or disabling the rocks-binaries
server
#441
Labels
enhancement
New feature or request
rocks-binaries
server
#441
This could be done
servers=["<server>"]
orservers=false
option.[servers]
option, which overrides rocks-binaries if it is set (disabling it if it's empty).Ditto for
dev-servers
.The text was updated successfully, but these errors were encountered: