Skip to content
This repository was archived by the owner on Sep 5, 2023. It is now read-only.

Change services menu #46

Merged
merged 1 commit into from
May 11, 2020

Use 'Grader Notebooks' instead of 'Services' in the jhub menu. Hide t…

d06e532
Select commit
Loading
Failed to load commit list.
Merged

Change services menu #46

Use 'Grader Notebooks' instead of 'Services' in the jhub menu. Hide t…
d06e532
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs