jenkins-bot has submitted this change and it was merged. Change subject: demos: Rename demos.html to index.html for convenience ......................................................................
demos: Rename demos.html to index.html for convenience Follows-up b8124715566bd3d2. There's only one html file now, might as well have it be the index. Change-Id: Ibd7a8ad0330bd3c2f46538a155ce951cea5745ff --- R demos/index.html 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Jforrester: Looks good to me, approved Esanders: Looks good to me, approved jenkins-bot: Verified diff --git a/demos/demo.html b/demos/index.html similarity index 100% rename from demos/demo.html rename to demos/index.html -- To view, visit https://gerrit.wikimedia.org/r/150003 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ibd7a8ad0330bd3c2f46538a155ce951cea5745ff Gerrit-PatchSet: 1 Gerrit-Project: oojs/ui Gerrit-Branch: master Gerrit-Owner: Krinkle <[email protected]> Gerrit-Reviewer: Esanders <[email protected]> Gerrit-Reviewer: Jforrester <[email protected]> Gerrit-Reviewer: Trevor Parscal <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
