Pieter-Jan Briers d0c0dfc1dc Update contributors scripts to do more stuff

2022-03-18 20:32:29 +01:00

..

dump_commits_since.ps1

Update contributors scripts to do more stuff

2022-03-18 20:32:29 +01:00

dump_contributors_since.ps1

Update contributors scripts to do more stuff

2022-03-18 20:32:29 +01:00

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

Update to new CDN URL.

2021-12-23 23:41:35 +01:00

generate_hashes.ps1

…

iconsmooth.py

put kdc's iconsmooth script in the repo

2022-01-16 23:22:55 -07:00

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

Fix client-only command permissions. (#5899)

2021-12-25 19:53:21 +01:00

package_server_build.py

Reduce size of server binaries.

2022-01-29 03:15:07 +01:00

patrons_pr.ps1

Tiny PR script I need

2021-11-24 08:37:18 +01:00

singulo_emitter.m

Makes the singularity engine actually work stably. (#4068)

2021-05-28 11:44:13 +02:00

singulo.m

Makes the singularity engine actually work stably. (#4068)

2021-05-28 11:44:13 +02:00

update_changelog.py

Don't make empty changelog entries.

2021-11-18 00:48:08 +01:00