2 Commits (fe8845e4aa011d017634e5961e08c1178f5a1b2f)

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	6b90a98d14	Update main documentation	4 years ago