maraflush 1db03b045c change /bin/bash to /usr/bin/env bash .

2020-07-24 12:33:06 +02:00

..

tools

Travis additional tools moved to repository.

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

after_success.sh

change /bin/bash to /usr/bin/env bash .

2020-07-24 12:33:06 +02:00

before_install.sh

change /bin/bash to /usr/bin/env bash .

2020-07-24 12:33:06 +02:00

check_issue_references.php

scripts for checking markdown references (CHANGELOG, etc)

2018-01-16 21:31:54 +01:00

check_references.php

scripts for checking markdown references (CHANGELOG, etc)

2018-01-16 21:31:54 +01:00

format_release_info.php

Nightly build release info generation updated when Unreleased section is missing

2018-01-18 09:55:49 +01:00

install.sh

change /bin/bash to /usr/bin/env bash .

2020-07-24 12:33:06 +02:00

script.sh

change /bin/bash to /usr/bin/env bash .

2020-07-24 12:33:06 +02:00