Johannes Schnatterer 0179cc3369 Adds profile for rest docs to plugins module. ...

It's redundant (also configured in webapp) but would fail the core
build if activated.

2018-08-06 11:52:31 +02:00

..

src/main

merge with branch 1.x

2017-06-25 19:01:33 +02:00

pom.xml

Adds profile for rest docs to plugins module.

2018-08-06 11:52:31 +02:00