From 581f9d1bfa6327cddd8fb788507024663a52cbb4 Mon Sep 17 00:00:00 2001 From: Alexandre Russo Date: Wed, 21 May 2014 11:20:10 +0200 Subject: [PATCH] PHPCI/Plugin/XMPP.php rename to PHPCI/Plugin/Xmpp.php --- PHPCI/Plugin/{XMPP.php => Xmpp.php} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename PHPCI/Plugin/{XMPP.php => Xmpp.php} (100%) diff --git a/PHPCI/Plugin/XMPP.php b/PHPCI/Plugin/Xmpp.php similarity index 100% rename from PHPCI/Plugin/XMPP.php rename to PHPCI/Plugin/Xmpp.php