From 2fb2844246f635b6fcbde35f48fbe5448038d1f4 Mon Sep 17 00:00:00 2001 From: coderkun Date: Fri, 6 Mar 2015 12:20:24 +0100 Subject: [PATCH] use phpdoc.dist.xml instead of phpdoc.xml --- phpdoc.xml => phpdoc.dist.xml | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename phpdoc.xml => phpdoc.dist.xml (100%) diff --git a/phpdoc.xml b/phpdoc.dist.xml similarity index 100% rename from phpdoc.xml rename to phpdoc.dist.xml