wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-29 08:34:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../lib
History
James D. Forrester 44d025a198 Update VE core submodule to master (1f16037) 
New changes:
1f16037 Update OOjs UI to v0.1.0-pre (7a0e222a75)

Change-Id: Iaad40a5e0fb764450fccff9e94d7e83f07eced09
2014-06-18 16:26:09 -07:00
..
ve@1f16037e97 Update VE core submodule to master (1f16037) 2014-06-18 16:26:09 -07:00