Explore projects

GitLab responder daemon to handle stuff like signup processing and hook installation.

Copy of the markdownfilter from the dune-project. This is put here to make it possible to build our gitlab without having a working dune-gitlab...

The subset of HDNum relevant for the lecture Numerik0.

MOVED TO https://gitlab.dune-project.org/smuething/buildsetup