Paul Chote 24f166595f Convert lobby dropdowns to new options backend.

2016-06-04 10:06:18 +01:00

..

DeveloperMode.cs

Convert lobby checkboxes to new options backend.

2016-06-04 10:03:06 +01:00

FixedColorPalette.cs

Clarify GPL version.

2016-02-21 16:30:48 +00:00

FrozenActorLayer.cs

Clarify GPL version.

2016-02-21 16:30:48 +00:00

IndexedPlayerPalette.cs

Clarify GPL version.

2016-02-21 16:30:48 +00:00

PlayerColorPalette.cs

Clarify GPL version.

2016-02-21 16:30:48 +00:00

PlayerHighlightPalette.cs

Clarify GPL version.

2016-02-21 16:30:48 +00:00

PlayerResources.cs

Convert lobby dropdowns to new options backend.

2016-06-04 10:06:18 +01:00