mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 06:46:26 +00:00
cb364303fa
* Merge paths that use the same color. * I also found an invisible path that can be removed. Change-Id: Ib31aed78d7eaef9fad2ca8eeeb36bd489a132d6b
24 lines
1.6 KiB
XML
24 lines
1.6 KiB
XML