Fixed issue #505: Delete (keep local) results in commit error
tree2f4214551ee877a1eff8e72908a43d67ace3b607
-rw-r--r-- 388 .gitignore
-rw-r--r-- 391 .gitmodules
drwxr-xr-x - Languages
-rw-r--r-- 3582 build.txt
drwxr-xr-x - common
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - ext
drwxr-xr-x - src
drwxr-xr-x - test