Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpredis/phpredis.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2018-03-02 16:24:37 +0300
committerRemi Collet <remi@remirepo.net>2018-03-02 16:29:54 +0300
commite99e69cec524982b3bd3e33f1ffbfc91869043f4 (patch)
tree3e80bafd32cbb55776d1f864baa2c435ff9e87cd /package.xml
parentfcc91a293a13b3a9f721f65da0595dc3e5eae3ca (diff)
split INSTALL and add more instructions
Diffstat (limited to 'package.xml')
-rw-r--r--package.xml1
1 files changed, 1 insertions, 0 deletions
diff --git a/package.xml b/package.xml
index b921107f..8c13dc03 100644
--- a/package.xml
+++ b/package.xml
@@ -65,6 +65,7 @@ http://pear.php.net/dtd/package-2.0.xsd">
<file role='doc' name='COPYING'/>
<file role='doc' name='CREDITS'/>
<file role='doc' name='README.markdown'/>
+ <file role='src' name='INSTALL.markdown'/>
<file role='doc' name='arrays.markdown'/>
<file role='doc' name='cluster.markdown'/>
<file role='src' name='cluster_library.c'/>