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:
authorPavlo Yatsukhnenko <yatsukhnenko@users.noreply.github.com>2018-04-18 11:28:08 +0300
committerGitHub <noreply@github.com>2018-04-18 11:28:08 +0300
commit43613d9e3cea5f2fbf84b6d0e377abca0723a6d1 (patch)
tree1d220be7fde97a956273a2a819ca6e5749d1f1c7 /package.xml
parent18d03fdb171e5dca7a261e67d71264deac2eaedd (diff)
parente99e69cec524982b3bd3e33f1ffbfc91869043f4 (diff)
Merge pull request #1316 from remicollet/issue-inst
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 fa7e5cc1..3f3c6d8b 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'/>