Pieter-Jan Briers c3b4753cc1 Blow up on Jenkins build if engine version is not a tag. ...

Fixes #3347

2021-02-21 01:30:47 +01:00

..

dump_commits_since.ps1

…

dump_contributors_since.ps1

…

dump_github_contributors.ps1

Update contributors script and update github credits.

2020-11-27 16:31:36 +01:00

dump_patrons.ps1

…

gen_build_info.py

Blow up on Jenkins build if engine version is not a tag.

2021-02-21 01:30:47 +01:00

generate_hashes.ps1

…

ignored_github_contributors.txt

…

mapping-merge-driver.sh

Mapping merge driver: continued (#2803)

2021-02-06 23:56:40 +01:00

package_client_build.py

Did somebody order engine versioning?

2020-12-17 15:28:57 +01:00

package_server_build.py

Did somebody order engine versioning?

2020-12-17 15:28:57 +01:00