Fix aux links

This commit is contained in:
2019-03-14 13:59:01 +01:00
parent dce5631077
commit b0337964af

View File

@@ -6,11 +6,11 @@ search_enabled: true
# Aux links for the upper right navigation
aux_links:
"DIAS":
- "https//dias.epfl.ch/"
"Twitter":
- "https://twitter.com/dias_EPFL"
"GitHub":
- "https//github.com/epfl-dias/project"
"DIAS":
- "https://dias.epfl.ch/"
"Twitter":
- "https://twitter.com/dias_EPFL"
"GitHub":
- "https://github.com/epfl-dias/project"
remote_theme: pmarsceill/just-the-docs