diff options
Diffstat (limited to 'unmaintained/mongo-php7-driver/mongodb.ini')
| -rw-r--r-- | unmaintained/mongo-php7-driver/mongodb.ini | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/unmaintained/mongo-php7-driver/mongodb.ini b/unmaintained/mongo-php7-driver/mongodb.ini deleted file mode 100644 index 45969d065b..0000000000 --- a/unmaintained/mongo-php7-driver/mongodb.ini +++ /dev/null @@ -1 +0,0 @@ -extension=mongodb.so |