review fix: getDocComment returns the complete Javadoc comment, incl. tags#1822
Merged
pvojtechovsky merged 6 commits intoINRIA:masterfrom monperrus:javadocJan 16, 2018
+62-8
Commits
Commits on Jan 12, 2018
- committed
- committed
- committed
- committed
- committed
- committed
