mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-18 19:55:55 +00:00
3 commits
Author | SHA1 | Date | |
---|---|---|---|
2c77e88d2c | |||
3c293ea00c | |||
aa137ef2ad |
Renamed from modules/ve-mw/ui/themes/minerva/ve.ui.MWFormatTool.css (Browse further)