Skip to content
Snippets Groups Projects

CLI: drop obsolete alias "serve" for "rpc-serve"

Closed CLI: drop obsolete alias "serve" for "rpc-serve"
generated-differential-D2013-source into generated-differential-D2013-target
Closed Stefano Zacchiroli requested to merge generated-differential-D2013-source into generated-differential-D2013-target