Pieter-Jan Briers f78dca8504 Script to dump user data for GDPR purposes. (#13016)

2022-12-19 13:37:42 +01:00

..

markings

…

contribs_shared.ps1

…

dump_commits_since.ps1

…

dump_contributors_since.ps1

…

dump_github_contributors.ps1

…

dump_patrons.ps1

…

dump_user_data.py

Script to dump user data for GDPR purposes. (#13016)

2022-12-19 13:37:42 +01:00

gen_build_info.py

…

generate_hashes.ps1

…

iconsmooth_inv.py

…

iconsmooth_lib.py

…

iconsmooth.py

…

mapping-merge-driver.sh

…

package_client_build.py

…

package_server_build.py

…

patrons_pr.ps1

…

singulo_emitter.m

…

singulo.m

…

update_changelog.py

…