frontend: Show feature flags in topbar and separate page - #1144

Merged

jyn514 merged 4 commits into

rust-lang:masterfrom

almusil:feature_frontend

Nov 13, 2020

Commits on Nov 10, 2020

frontend: Show feature flags
almusil
committed
2df55ef
frontend: Distinguish between empty and null features
almusil
committed
902515f

Commits on Nov 11, 2020

frontend: Order default features in tree structure
almusil
committed
1937862

Commits on Nov 12, 2020

frontend: Make features code more modular
almusil
committed
6730aa2