log dev/git/git.sh @ 1185:6ac8b545df56

age author description
Fri, 27 Sep 2019 21:05:00 +0200 David Demelier dev/git: initial import, closes #1077