Pavel Penev 20fe9a9ff2 Merge pull request #9255 from pchote/gamespeed ...

Add a game speed dropdown to the lobby options.

2015-09-09 18:14:05 +03:00

..

all

fix trait documentation leaving out certain namespaces

2015-05-02 10:09:22 +02:00

cnc

Merge pull request #9255 from pchote/gamespeed

2015-09-09 18:14:05 +03:00

common

…

d2k

Merge pull request #9255 from pchote/gamespeed

2015-09-09 18:14:05 +03:00

modchooser

Fix modchooser.

2015-06-28 22:20:57 +02:00

ra

Merge pull request #9255 from pchote/gamespeed

2015-09-09 18:14:05 +03:00

ts

Merge pull request #9255 from pchote/gamespeed

2015-09-09 18:14:05 +03:00