Pieter-Jan Briers 808d59d6ef Revert "Include URL in Discord bot changelog to link to the Github PR page" (#22498)

2023-12-14 19:25:33 +01:00

..

markings

…

actions_changelog_rss.py

Fixes for the RSS changelog script. (#20468)

2023-09-24 17:14:15 +02:00

actions_changelogs_since_last_run.py

Revert "Include URL in Discord bot changelog to link to the Github PR page" (#22498)

2023-12-14 19:25:33 +01:00

contribs_shared.ps1

…

dump_commits_since.ps1

…

dump_contributors_since.ps1

…

dump_github_contributors.ps1

…

dump_patrons.ps1

Update patrons and credits (#13554)

2023-01-17 13:42:03 -08:00

dump_user_data.py

GDPR stuff update (#18300)

2023-07-26 20:05:51 +02:00

erase_user_data.py

GDPR stuff update (#18300)

2023-07-26 20:05:51 +02:00

gen_build_info.py

…

generate_hashes.ps1

…

iconsmooth_inv.py

…

iconsmooth_lib.py

…

iconsmooth.py

…

make_roompack.py

Add make roompack script (#18370)

2023-08-10 19:23:56 -04:00

mapping-merge-driver.sh

…

package_client_build.py

Port python packaging to Content.Packaging (#21458)

2023-11-07 09:53:59 +11:00

package_server_build.py

Port python packaging to Content.Packaging (#21458)

2023-11-07 09:53:59 +11:00

patrons_pr.ps1

…

singulo_emitter.m

…

singulo.m

…

update_changelog.py

Revert "Include URL in Discord bot changelog to link to the Github PR page" (#22498)

2023-12-14 19:25:33 +01:00