![]() Fixes #13240. It's not really better than source-code comments it replaced,
but it's in a better accessible place.
(cherry picked from commit
|
||
---|---|---|
.. | ||
coq.xml | ||
go.xml | ||
index.xml | ||
java.xml | ||
lua.xml | ||
perl.xml | ||
python.xml | ||
qt.xml | ||
ruby.xml | ||
texlive.xml |