From 84d6712327dd7516f8aae012a5a714f7744e18ff 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