Andreas Dangel 955ab11922 [doc] Use the rule names for the search index, include language ...

This provides better user experience for the search box on the
documentation page. The search results show now the rule name,
the language and the ruleset name.

2018-04-09 11:36:25 +02:00

..

src

[doc] Use the rule names for the search index, include language

2018-04-09 11:36:25 +02:00

pom.xml

[maven-release-plugin] prepare for next development iteration

2018-03-26 09:23:23 +02:00