Commit Graph

71 Commits (e4c47d01045cb0579cc43394df03ffbeb5f3caeb)

Author SHA1 Message Date
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
github-actions 91e9555256 Update main documentation 3 years ago
github-actions 52351dab24 Update main documentation 3 years ago
github-actions 1a5cfd9bbb Update main documentation 3 years ago
github-actions 9293970565 Update main documentation 3 years ago
github-actions 25efe32072 Update main documentation 3 years ago
github-actions bf271d993c Update main documentation 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
github-actions 5de1b7eb7d Update main documentation 4 years ago
github-actions 38af815c4f Update main documentation 4 years ago
github-actions cc3c98c43d Update main documentation 4 years ago
github-actions 4e715bcec6 Update main documentation 4 years ago
github-actions 394b416b84 Update main documentation 4 years ago
github-actions 7522eff75f 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