rubenwardy b1786e88ac Use .md extension for markdown files ...

Linking to line numbers is brittle, linking to sections/headings is better.

If you still want to link to a line number, you can append ?plain=1 to GitHub's URL

2023-04-16 20:23:53 +01:00

..

buildbot

Update dependency libraries in buildbot

2023-04-13 18:05:39 +02:00

ci

Test PostgreSQL in CI

2022-11-10 18:56:48 +01:00

helper_mod

Add utility script to stress-test mapgen

2022-07-04 01:06:57 +02:00

wireshark

Fix wireshark packet dissector wrong coordinates (#11826)

2021-12-05 14:34:40 +01:00

bump_version.sh

Use .md extension for markdown files

2023-04-16 20:23:53 +01:00

fix_format.sh

Disable clang-format, clean up scripts

2021-03-01 12:12:52 +01:00

gather_git_credits.py

Add script that sorts contributions for use in credits

2021-02-23 19:40:44 +01:00

reorder_translation_commits.py

Utility script to help with Weblate commit import

2020-04-03 23:26:07 +02:00

stress_mapgen.sh

Util: Use quotation marks for safe path handling

2022-07-22 20:13:10 +02:00

test_multiplayer.sh

Implement --debugger option to improve UX when debugging crashes (#13157)

2023-01-23 00:19:30 +01:00

updatepo.sh

Run updatepo.sh

2023-03-09 15:57:12 +01:00