diff options
Diffstat (limited to 'resources/pug/finals')
-rw-r--r-- | resources/pug/finals/index.pug | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/pug/finals/index.pug b/resources/pug/finals/index.pug index ebe6ff4..85014b3 100644 --- a/resources/pug/finals/index.pug +++ b/resources/pug/finals/index.pug @@ -142,7 +142,7 @@ block content td: a(href="https://cloogle.org/") Cloogle td The #[a(href="http://clean.cs.ru.nl") Clean] language search engine (#[a(href="https://gitlab.science.ru.nl/cloogle/cloogle-org") GitLab]). - p Find more on #[a(href="https://github.com/camilstaps") GitHub] and #[a(href="https://git.camilstaps.nl/") git.camilstaps.nl]. + p Find more on #[a(href="https://gitlab.com/camilstaps") GitLab], #[a(href="https://github.com/camilstaps") GitHub], and #[a(href="https://git.camilstaps.nl/") git.camilstaps.nl]. h2 Grants table.main_table |