Maximilian Bosch e8a4b9fe9b

Merge pull request #84501 from Ma27/bump-hydra ...

hydra: 2020-03-24 -> 2020-04-07

2020-04-08 20:08:29 +02:00

..

manual

Merge pull request #84501 from Ma27/bump-hydra

2020-04-08 20:08:29 +02:00

varlistentry-fixer.rb

doc: Adds xml fixing script. (see previous and next commits)

2018-05-31 21:02:15 -04:00

xmlformat.conf

doc: Disable wrapping source

2019-09-18 21:17:52 +02:00