Jindra Petřík 134df71e46 Merge pull request #85 from maraflush/change-harcoded-shebang-patch ...

change /bin/bash to /usr/bin/env bash [ci skip]

2021-01-01 09:29:11 +01:00

..

tools

java 9 compliance

2021-01-01 01:07:46 +01:00

after_success.sh

Merge pull request #85 from maraflush/change-harcoded-shebang-patch

2021-01-01 09:29:11 +01:00

before_install.sh

Merge pull request #85 from maraflush/change-harcoded-shebang-patch

2021-01-01 09:29:11 +01: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