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:
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'/>