Fix git clone command to simplify branch switching
authorPeter Eisentraut <peter@eisentraut.org>
Sun, 16 Jun 2019 20:42:15 +0000 (22:42 +0200)
committerPeter Eisentraut <peter@eisentraut.org>
Sun, 16 Jun 2019 20:42:15 +0000 (22:42 +0200)
commit646372c429ac499f549f18465e0e9b19d0fc36bd
tree038d954486a55961a74086f1493a005760dd8df5
parent8a0ab38c0b18f84b5c64cdfb5354b223e79b800d
Fix git clone command to simplify branch switching
wwwtools/mrconfig