Closed cielluo closed 6 years ago
Create a new menu bar to replace the default one to make it more useful.
Resolves: #80
@softeng-701 Can I merge this directly?
@ls-morning No, the TA's must merge PRs, thanks
Create a new menu bar to replace the default one to make it more useful.
Resolves: #80