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

…

dump_patrons.ps1

…

gen_build_info.py

…

generate_hashes.ps1

…

iconsmooth.py

…

ignored_github_contributors.txt

…

mapping-merge-driver.sh

…

package_client_build.py

…

package_server_build.py

Reduce size of server binaries.

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

patrons_pr.ps1

…

singulo_emitter.m

…

singulo.m

…

update_changelog.py

…