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