3 Commits (c2f8b7a4c9a9029a35bf0379bf82909f9149a2ef)

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	9a5d03e477	Update documentation for release v1.10.1	4 years ago
github-actions	2b7936710f	Update documentation for release v1.10.1	4 years ago