Fixed issue #734: git not found: Fixed possible problems with folders containing...
tree249d7ea1228f1954683ed81780dc4dbf7e81e145
-rw-r--r-- 596 .gitignore
-rw-r--r-- 495 .gitmodules
drwxr-xr-x - Languages
-rw-r--r-- 3438 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