-
Andrei Jiroh Eugenio Halili authored
Also in this commit: * Usual navbar updates, plus some needed plugin config for mkdocs * Changes to VS Code and Gitpod config involving extensions and stuff. * Add mkdocs-git-revision-date-localized-plugin to requirements.txt Signed-off-by: Andrei Jiroh Halili <ajhalili2006@crew.recaptime.dev>