Commit e648c933 authored by Jörg Richter's avatar Jörg Richter

REST API: rename endpoint `/workspace` -> `/workspaces` (#341)

parent 1a32c82d
Pipeline #10032 passed with stages
in 8 minutes and 16 seconds
......@@ -49,7 +49,7 @@ import java.util.logging.Logger;
public class WorkspacesPlugin extends PluginActivator implements WorkspacesService, IntroduceTopicType,
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment