wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-01 01:16:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Update VE core submodule to master (0ef16f0)"

Browse source
This commit is contained in:
jenkins-bot 2016-11-21 17:15:48 +00:00 committed by Gerrit Code Review
parent 6e64fba2f8 1d43607bd9
commit 2701e0de2d
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 83ea15290fe8fda45b679c0896004cecb13dad3c
Subproject commit 0ef16f0a88e01aa6cab5d2953368cabf6fce383f