Gouvernathor 7b160ea3ad Use the file role for file paths

2023-08-08 18:21:29 +02:00

..

game

BOM and UTF-LF

2023-05-29 12:57:11 +02:00

source

Use the file role for file paths

2023-08-08 18:21:29 +02:00

.gitignore

Tweak the format of the translation documentation.

2013-10-01 19:59:04 -04:00

build.sh

Update README.rst for Python 3 and Ubuntu 22.04.

2022-08-23 23:38:40 -04:00

checks.py

Check documentation for unused includes.

2013-12-06 21:14:03 -05:00

Makefile

Remove credits.rst generation.

2017-09-23 11:08:11 -04:00

upload_dev.sh

Fix server name.

2019-06-01 21:37:35 -04:00

upload.sh

Fix server name.

2019-06-01 21:37:35 -04:00