From af4d1b9cf3ed4dd5a771da060b3f9cf55221d747 Mon Sep 17 00:00:00 2001
From: Andrey Sokolov <andrey.sokolov@jetbrains.com>
Date: Fri, 24 May 2019 17:53:26 +0300
Subject: [PATCH] renamed folder for leveldb extension to a proper case

---
 {LevelDB => leveldb}/LevelDB.php | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename {LevelDB => leveldb}/LevelDB.php (100%)

diff --git a/LevelDB/LevelDB.php b/leveldb/LevelDB.php
similarity index 100%
rename from LevelDB/LevelDB.php
rename to leveldb/LevelDB.php