diff options
author | Andrey Andreev <narf@devilix.net> | 2019-09-19 18:54:50 +0200 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2019-09-19 18:54:50 +0200 |
commit | 85817aa7abc1a877cc9e0e39dcda2a6811ecc1fd (patch) | |
tree | ca736243cb68029d7ebf95dfcc11ffb3f2bcae83 /phpdoc.dist.xml | |
parent | fdb85f52096460b2488a036cb6145861cc577da1 (diff) | |
parent | f4502e4ad6d8a595e472b85a5e0bc3f552b63306 (diff) |
Merge branch '3.1-stable' into develop
Conflicts resolved:
system/core/CodeIgniter.php
system/libraries/Cache/drivers/Cache_redis.php
system/libraries/Session/drivers/Session_redis_driver.php
user_guide_src/source/changelog.rst
user_guide_src/source/conf.py
user_guide_src/source/installation/downloads.rst
user_guide_src/source/installation/upgrading.rst
Diffstat (limited to 'phpdoc.dist.xml')
0 files changed, 0 insertions, 0 deletions