mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-14 18:15:19 +00:00
d9afc7cc3d
New changes: 3aaa5e05d build: Updating grunt to 1.2.1 7f21a8356 ve.dm.Model: Fix typo in a comment 9585ffb94 ve.ui.CommandHelpDialog: Make it possible to reuse fancy CSS for shortcuts Change-Id: Ida448be1658ff9781900ec6f1322b5db0c8499c5 |
||
---|---|---|
.. | ||
proposal-promise-finally | ||
ve@f5fca4289c |