doc: fix javadoc in TypeFactory.java#2688
Merged
pvojtechovsky merged 4 commits intoINRIA:masterfrom zielint0:refactor-remove-redundant-castOct 20, 2018
+2-3
Commits
Commits on Oct 18, 2018
- committed
- committed
Commits on Oct 19, 2018
- committed
- committed