use gitlab instead of github icon

a733de1f · Steffen Vogel · 623ada61 · a733de1f
Commit a733de1f authored Dec 18, 2020 by Steffen Vogel
--- a/book.toml
+++ b/book.toml
@@ -11,6 +11,7 @@ create-missing = true

 [output.html]
 git-repository-url = "https://git.rwth-aachen.de/jupyter/documentation"
+git-repository-icon = "fa-gitlab"
 additional-css = [ "style.css" ]
 additional-js = [ "script.js" ]