-
-
Notifications
You must be signed in to change notification settings - Fork 5.4k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
add brief help instructions to UI #298
Comments
StefanKarpinski
added a commit
that referenced
this issue
Dec 10, 2011
* 'master' of github.com:JuliaLang/julia: issue #298
StefanKarpinski
pushed a commit
that referenced
this issue
Feb 8, 2018
KristofferC
added a commit
that referenced
this issue
May 29, 2018
cmcaine
pushed a commit
to cmcaine/julia
that referenced
this issue
Nov 11, 2022
Use existing labels & copy JS label defs
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The web ui should have a line somewhere telling people how to get help:
The text was updated successfully, but these errors were encountered: