Ben Siraphob d53846e29e Merge pull request #130583 from jvanbruegge/isabelle2021 ... Isabelle: 2020 -> 2021		2021-07-19 20:56:48 +07:00
..
manual	Merge pull request #130583 from jvanbruegge/isabelle2021	2021-07-19 20:56:48 +07:00
varlistentry-fixer.rb	nixos/doc/*: fix indentation	2020-11-12 14:24:00 +10:00
xmlformat.conf	doc: Disable wrapping source	2019-09-18 21:17:52 +02:00