Elastic: Remove redundant menu button
Description
Description
Details
Details
- Provenance
machniak Authored on Jan 10 2018, 4:26 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:20a0ca6b16ec: Elastic: Remove tagedit.css, these styles are handled by the skin now
- Branches
- Unknown
- Tags