Improved IntelliJ startup script.
[sixth.git] / tools / commit and push
2018-06-21 Svjatoslav AgejenkoFixed typo