Elastic: Remove redundant menu button in Preferences on phones
Description
Description
Details
Details
- Provenance
machniak Authored on May 21 2018, 11:15 AM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:d6c19431bee2: Elastic: .proplist improvements
- Branches
- Unknown
- Tags