Jindra Petřík 08c8d94e29 travis script fix

2018-01-16 19:26:43 +01:00

..

tools

Travis additional tools moved to repository.

2018-01-16 19:26:43 +01:00

after_success.sh

better scripts for release info formatting

2018-01-14 22:45:06 +01:00

before_install.sh

travis script fix

2018-01-16 19:26:43 +01:00

format_release_info.php

fixing format_release_info script for loading external file

2018-01-15 19:41:14 +01:00

install.sh

newline at the end

2018-01-13 19:49:04 +01:00

script.sh

Create nightly builds only on dev branch

2018-01-16 19:26:43 +01:00