wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-28 16:20:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../lib
History
James D. Forrester 1d57da792a Update VE core submodule to master (d21c272) 
New changes:
d21c272 Re-render selection after deleting

Change-Id: I1cf11d4dba5f95004ce4726a4ed8a1627c8404ba
2014-04-23 20:30:41 -07:00
..
ve@d21c272adf Update VE core submodule to master (d21c272) 2014-04-23 20:30:41 -07:00