this is really annoying

0.9.20 changes. May have missed stuff. Please add if you notice anything missing.

Allow skip in move

merge

Make server aware of new versions

Rework of No Gravity script: - Now called Gravity, gravity is derived from get away time percentage in game scheme - Watchdog which sets gravity to normal when TurnTimeLeft is frozen for more than 15 seconds

Remove some wtfism that was breaking localisation

Recover old tips from .ts files. This addresses bug #740

Pick random tip from the tip file each time front page is viewed.

Localise tips again. Including new german contribution from bug #738. We should look into the old .ts files and see if there are translations that can be recovered.

typos correction

svg

'Open packages directory' button on dlc page

merge of volkan's commit followed by lupdate to pick up the new strings

Purely a whitespace change. Going to try to stick to consistent line endings in the future.

update german

more advbounce flagging

make punch usable with no gravity lua

code formatting/consistency

oops, remove debug message

check if save from old campaign name scheme exists and if so rename it to use _ instead of spaces -see issue #722

stricter check of dY and collision

Move to No_Gravity and add .cfg

Default to ...