Théo Zimmermann 0daa4b200c Merge pull request #189721 from Zimmi48/changelog-for-coqide-split ... coq: document CoqIDE split		2022-09-05 10:37:23 +02:00
..
manual	Merge pull request #189721 from Zimmi48/changelog-for-coqide-split	2022-09-05 10:37:23 +02: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