Geomajas GWT client: Plugin Deskmanager - Documentation

'org.geomajas.plugin:geomajas-plugin-deskmanager-documentation:1.0.0-M13'

<dependency>
	<groupId>org.geomajas.plugin</groupId>
	<artifactId>geomajas-plugin-deskmanager-documentation</artifactId>
	<version>1.0.0-M13</version>
</dependency>

<dependency org="org.geomajas.plugin" name="geomajas-plugin-deskmanager-documentation" rev="1.0.0-M13"/>

"org.geomajas.plugin", "geomajas-plugin-deskmanager-documentation", "1.0.0-M13"