Commit Graph

7 Commits (25efe32072c2faac4aafda150ae364289a57cc4d)

Author SHA1 Message Date
Jonatan Antoni 93c5499ee8
GH pages with version dropdown
- Add dropdown box to navigate between versions.
- Fixup dev drop version
- Add a script to update the version list.
- Patching existing documentation to pick up version selector.
4 years ago
github-actions 4e715bcec6 Update main documentation 4 years ago
github-actions 394b416b84 Update main documentation 4 years ago
github-actions 26f4c82b8e Update main documentation 4 years ago
github-actions 6d0ad192f0 Update main documentation 4 years ago
github-actions 92015321d9 Update main documentation 4 years ago
github-actions 6b90a98d14 Update main documentation 4 years ago