jenkins-bot 8b50543b6d Merge "Save dialog: Fix too-wide diff box."		2012-12-13 00:51:25 +00:00
..
styles	Save dialog: Fix too-wide diff box.	2012-12-12 04:32:55 +01:00
targets	Merge "Save dialog: Fix too-wide diff box."	2012-12-13 00:51:25 +00:00
ve.init.mw.js	Added ve.init.platform with MediaWiki and stand-alone implementations	2012-07-27 13:39:19 -07:00
ve.init.mw.Platform.js	Enable change makers by default	2012-12-10 22:55:00 -08:00
ve.init.mw.Target.js	Merge "(bug 43013) Exclude edit notices with no visible text."	2012-12-13 00:39:10 +00:00