From 6f9fdf145db02edb226155bf86c41caa72f21652 Mon Sep 17 00:00:00 2001 From: Hugues Peccatte Date: Wed, 2 Sep 2015 08:11:37 +0200 Subject: [PATCH] Rename DBIDummy file. Signed-off-by: Hugues Peccatte --- libraries/dbi/{DBIDummy.php.php => DBIDummy.php} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename libraries/dbi/{DBIDummy.php.php => DBIDummy.php} (100%) diff --git a/libraries/dbi/DBIDummy.php.php b/libraries/dbi/DBIDummy.php similarity index 100% rename from libraries/dbi/DBIDummy.php.php rename to libraries/dbi/DBIDummy.php