Commit Graph

23 Commits (c0d3bd81659cc15687f1eb7f4cd31368eaf580de)

Author SHA1 Message Date
github-actions c0d3bd8165 Update main documentation 3 years ago
github-actions 43ef801d03 Update main documentation 3 years ago
github-actions 918fef3f5a Update main documentation 3 years ago
github-actions b78a7c9dd3 Update main documentation 3 years ago
github-actions eb418c91c9 Update main documentation 3 years ago
github-actions 048d9c184e Update main documentation 3 years ago
github-actions 9994ef2e81 Update main documentation 3 years ago
github-actions 1531bd1acb Update main documentation 3 years ago
github-actions a6a560887b Update main documentation 3 years ago
github-actions c2f8b7a4c9 Update main documentation 3 years ago
github-actions ca64b0cd1e Update main documentation 3 years ago
github-actions f415558ba4 Update main documentation 3 years ago
github-actions e7b38b7965 Update main documentation 3 years ago
github-actions c2a6404a1f Update main documentation 3 years ago
github-actions 2ae3f4a491 Update main documentation 3 years ago
github-actions dc48e213c1 Update main documentation 3 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
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