Andrei Zavatski 4dd819c150 Merge remote-tracking branch 'refs/remotes/ppy/master' into rankings-scope-selector		2019-09-12 17:17:32 +03:00
..
DismissableFlag.cs	Rename HeaderFlag to DismissableFlag	2019-09-12 16:44:15 +03:00
RankingsRulesetSelector.cs	CI fixes	2019-09-12 05:16:56 +03:00
RankingsScopeSelector.cs	Move RankingsScopeSelector to another namespace	2019-09-11 11:58:18 +03:00