My personal project and infrastructure archive

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Sandro Jäckel eb89e04813 maintainers.sphinx: add		2 years ago
..
scripts	pluginupdate.py: fix regression with plugin line splitting	2 years ago
maintainer-list.nix	Merge pull request #154272 from jvanbruegge/isabelle-build-hol	2 years ago
team-list.nix	maintainers.sphinx: add	2 years ago