dist.ini @Git config tweaks

	modified:   dist.ini