Fixed issue #1076: Error trying to delete remote branch named 1.0.0
tree5089a013bd3e8b667373088b017c7d4d7a734a1d
-rw-r--r-- 367 .gitignore
-rw-r--r-- 543 .gitmodules
drwxr-xr-x - Languages
-rw-r--r-- 3400 build.txt
drwxr-xr-x - common
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - ext
-rw-r--r-- 184 release.txt
drwxr-xr-x - src
drwxr-xr-x - test