-
Raymond Toy authored
We were pointing to the old mirror directory which doesn't exist anymore. Just point to the gitlab pages site.
947dcc62
We were pointing to the old mirror directory which doesn't exist anymore. Just point to the gitlab pages site.