-
Mark Moll authored
--HG-- rename : doc/header.html => doc/header.html.in
414b30d2
This project is licensed under the BSD 3-Clause "New" or "Revised" License.
Learn more
To receive notifications about scheduled maintenance, please subscribe to the mailing-list gitlab-operations@sympa.ethz.ch. You can subscribe to the mailing-list at https://sympa.ethz.ch
--HG-- rename : doc/header.html => doc/header.html.in