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
xmlformat.conf