Commit Graph

103 Commits (f6c94f5e6816a3a972a83edd5d4c48fb7befc953)

Author SHA1 Message Date
Jonatan Antoni 5cf568cfc4 Fixup version selector 4 years ago
github-actions 093e706523 Update main documentation 4 years ago
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