On 2018-02-28, Jan Matèrne (jhm) wrote: > @Stefan: You added the 1.9 manual. Do you think we could upate the > manuals this way?
The online manual also contains the javadocs, these ate not present in the git repo. I simply extracted the manual archive of the distribution artifact. Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
