Skip to end of banner

Go to start of banner

Workspace menu

Skip to end of metadata

Created by Jiqing Qiang, last modified on Dec 12, 2018

Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

0.1 Workspace menu shows the available workspaces for current user. Click on the desired workspace to go there.

Feature overview

TODO: add screenshot.

Permissions

Grader - Can view

Planner - Can view

Beta limitations and known issues

Beta 0.1

No labels