documentation improvements

This commit is contained in:
Jannik
2018-07-22 23:30:52 +02:00
parent 23ac33ca9b
commit d16e724cce
5 changed files with 51 additions and 33 deletions

View File

@ -10,4 +10,5 @@ org.eclipse.jdt.core.compiler.debug.sourceFile=generate
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning
org.eclipse.jdt.core.compiler.release=disabled
org.eclipse.jdt.core.compiler.source=9