This repository has been archived on 2024-10-24. You can view files and clone it, but cannot push or open issues or pull requests.

Stephan Barth c220a712f7 Merge remote-tracking branch 'origin/145-build-system-rewrite' into 144-ghc-update		2024-09-22 03:09:59 +02:00
..
dev_port.pl	build(Makefile): work on make serve	2024-09-11 00:37:36 +02:00
Dockerfile	Merge remote-tracking branch 'origin/145-build-system-rewrite' into 144-ghc-update	2024-09-22 03:09:59 +02:00