Keeping comments in sync with the code
commit2f72560a9c8a5202ee9440a68c0e91265a9f3c69
authorVojtech Horky <vojtech.horky@gmail.com>
Sun, 6 May 2018 17:07:31 +0000 (6 19:07 +0200)
committerGitHub <noreply@github.com>
Sun, 6 May 2018 17:07:31 +0000 (6 19:07 +0200)
tree541a57c79ab170aed86a3ec60c9fc088c8222ed9
parentf3fdecce464c06501b2695dccee1cdc8874f6f1e
Keeping comments in sync with the code
tools/travis.sh