-
Notifications
You must be signed in to change notification settings - Fork 168
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
Version dropdown and dev links #4872
Conversation
@@ -170,7 +170,7 @@ Deborah Lee Soltesz | |||
</tr> | |||
<tr valign="top"> | |||
<th style="width:25%"> | |||
<a href=""> | |||
<a href="../documents/DeveloperModifyIsis/DeveloperModifyIsis.html"> |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I am making a note, cause I almost got confused. This file is in the #4871 PR
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes, it is. These docs won't build without both PRs
I think this is a really good solution. Did you want to do more work to homogenize the style before merging? |
I think this is good for now. It can get more styling later. |
* Version dropdown and dev links * Fixed link
* Version dropdown and dev links * Fixed link
Add a dropdown for the version of docs to view
Description
Related Issue
Motivation and Context
How Has This Been Tested?
Screenshots (if appropriate):
Types of changes
Checklist:
Licensing
This project is mostly composed of free and unencumbered software released into the public domain, and we are unlikely to accept contributions that are not also released into the public domain. Somewhere near the top of each file should have these words: