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:
authorMarius Meissner <marius.meissner@sixt.com>2017-10-30 13:28:33 +0300
committerMarius Meissner <marius.meissner@sixt.com>2017-10-30 13:28:33 +0300
commitabb862d2f50f7f3059d68ef4028685566f865aa7 (patch)
treea97d507ea4329253c4ab174a6e3e7973e7ab3916 /.gitignore
parent010336d5a741a74fc43d03df6b3916ba35979db6 (diff)
PHPREDIS-37: Add locking functionality
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 046241a9..0462ff37 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,3 +14,4 @@ missing
autom4te.cache
mkinstalldirs
run-tests.php
+idea/* \ No newline at end of file