Fixed issue #666: Remote names with dots (e.g., john.doe) do not show properly in...
treeb8edba14cdbbbe12f3067fea2a66d6b2c16cae70
-rw-r--r-- 518 .gitignore
-rw-r--r-- 391 .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