mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-05 03:08:37 +00:00
cb364303fa
* Merge paths that use the same color. * I also found an invisible path that can be removed. Change-Id: Ib31aed78d7eaef9fad2ca8eeeb36bd489a132d6b
25 lines
1.5 KiB
XML
25 lines
1.5 KiB
XML