Marc 859f1fa298 minor bug 1 year ago
..
if added user-global dir for git 7 years ago