Fixed issue #150: When pushing, 'remote' should default to the tracked branch, or...
treef95f1dd28db04c7630ed047624d3922de0a570a3
-rw-r--r-- 336 .gitignore
-rw-r--r-- 236 .gitmodules
drwxr-xr-x - Languages
-rw-r--r-- 3557 build.txt
drwxr-xr-x - common
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - ext
drwxr-xr-x - src