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

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

..

Player

Convert lobby dropdowns to new options backend.

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

World

Convert lobby checkboxes to new options backend.

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

ActivityUtils.cs

Clarify GPL version.

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

DebugPauseState.cs

Clarify GPL version.

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

LintAttributes.cs

Clarify GPL version.

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

Selectable.cs

Clarify GPL version.

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

Target.cs

Clarify GPL version.

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

TraitsInterfaces.cs

Add plumbing for trait-defined lobby options.

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