wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update VE core submodule to master (418cd67)

Browse source 
New changes:
418cd67 Update OOjs UI to v0.1.0-pre (0f101c6f5d)

Change-Id: I9488f688483af4003a89b10876f1356691d2a1dc
This commit is contained in:
Roan Kattouw 2014-05-30 16:35:59 -07:00
parent 350c99e249
commit e3249a4afa
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lib/ve

@ -1 +1 @@
Subproject commit 0f178b58a5661809f7313140f52320907ca8b975
Subproject commit 418cd67eaf2e08a73f137cbacc7c41d413140416