Sandro Jäckel eb89e04813 maintainers.sphinx: add		2022-01-28 21:23:49 +01:00
..
scripts	pluginupdate.py: fix regression with plugin line splitting	2022-01-21 14:18:21 +01:00
maintainer-list.nix	Merge pull request #154272 from jvanbruegge/isabelle-build-hol	2022-01-26 16:37:18 +01:00
team-list.nix	maintainers.sphinx: add	2022-01-28 21:23:49 +01:00