Disabled JavaDoc because functionality is still broken in Debian OpenJDK
[sixth-3d.git] / tools / commit and push
2018-06-21 Svjatoslav AgejenkoFixed typo