Elastic: remove some redundant menu buttons on mobile
Description
Description
Details
Details
- Provenance
machniak Authored on Jan 12 2018, 11:09 AM mollekopf Pushed on Aug 22 2023, 5:55 AM - Parents
- R14:a0569164da49: Merge branch 'master' into dev/elastic
- Branches
- Unknown
- Tags