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

Update VE core submodule to master (ce4ee02)

Browse source 
New changes:
56c30cb Remove font-size: 0.8em; rule for OOUI change
97d5111 Update OOjs UI to v0.1.0-pre (deccd11549)

Change-Id: I6efd0a9a996ae60404e029748ef71672cd5ab07d
This commit is contained in:
James D. Forrester 2014-10-28 10:28:50 -07:00
parent 5eb0baf55d
commit 564a6d0a90
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 07b2eda7f02e723f42af90840c2015bbda323ecd
Subproject commit ce4ee02ee6285dcb578a1966b223ba53ec98da67