tree 428f07c5d1026007135327630e0d3036012abdb5
parent 3e53dee3aeb006ebd72727249ee165ee0029af20
author Jan-Philipp Steghöfer <ec@splashstudio.com> 1486556014 +0100
committer Jan-Philipp Steghöfer <ec@splashstudio.com> 1486556032 +0100

fix: removed non-existent src directory from documentation plugin

This only fixes the issue in the Eclipse project files. If they are
re-generated from the pom.xml this problem will occur again.