镜像站点 · 本页由第三方 GitHub 只读镜像提供,非 GitHub 官方站点,不接受任何登录或凭据输入。前往 github.com
Skip to content

Menu items description update - #11

Merged
highperformancecoder merged 1 commit into
highperformancecoder:masterfrom
halcrichtonstandish:master
Aug 19, 2016
Merged

highperformancecoder merged 1 commit into
highperformancecoder:masterfrom
halcrichtonstandish:master

Conversation

@halcrichtonstandish

Copy link
Copy Markdown
Contributor

Menu items updated. Subsections added. Help section added.

Menu items updated. Subsections added. Help section added.
@highperformancecoder
highperformancecoder merged commit 08382a0 into highperformancecoder:master Aug 19, 2016
wdednam added a commit to wdednam/minsky that referenced this pull request Oct 7, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants