Andreas Dangel 561825703f [doc] Fix rule tags in the rule docs ...

If using quotes, there was a html escape done, which made
the rule tag renderer to spit out "quot".

2020-05-23 13:07:25 +02:00

..

src

[doc] Fix rule tags in the rule docs

2020-05-23 13:07:25 +02:00

pom.xml

…