-
Notifications
You must be signed in to change notification settings - Fork 118
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
Missing libs on docs page #53
Labels
infrastructure
Requires changes on the web server or other infra
Comments
chapulina
added
infrastructure
Requires changes on the web server or other infra
boost the docs
labels
Aug 13, 2020
|
This was referenced Dec 22, 2020
Generating tutorials for |
Are we excluding |
That's being addressed as part of #32. |
7 tasks
Fixed by #441 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
These pages:
Are missing ign-tools and ign-cmake.
In a related note, it would be nice to alphabetize them so they're easier to find. In the future we could consider having an icon for each one so they're easier to spot.
The text was updated successfully, but these errors were encountered: