Pieter-Jan Briers b33e93054a Chmod +x changelog RSS (#17789)

2023-07-02 14:41:57 +02:00

..

markings

…

actions_changelog_rss.py

Chmod +x changelog RSS (#17789)

2023-07-02 14:41:57 +02:00

actions_changelogs_since_last_run.py

Fix GITHUB_REPOSITORY in changelog pusher (#14294)

2023-02-26 18:03:57 +01:00

contribs_shared.ps1

…

dump_commits_since.ps1

…

dump_contributors_since.ps1

…

dump_github_contributors.ps1

…

dump_patrons.ps1

…

dump_user_data.py

GDPR helper scripts stuff (#15077)

2023-04-03 10:27:45 +10:00

erase_user_data.py

GDPR helper scripts stuff (#15077)

2023-04-03 10:27:45 +10:00

gen_build_info.py

…

generate_hashes.ps1

…

iconsmooth_inv.py

…

iconsmooth_lib.py

…

iconsmooth.py

…

mapping-merge-driver.sh

…

package_client_build.py

Fill in new clientAssemblies list on resource manifest (#17100)

2023-06-08 17:23:48 +10:00

package_server_build.py

…

patrons_pr.ps1

…

singulo_emitter.m

…

singulo.m

…

update_changelog.py

…