Itamar e5ceec8621 Ports: Add default .gitconfig for Git port ... This stops git from asking us to configure a username and email when we try to commit.		2020-09-15 21:43:29 +02:00
..
patches	Ports: Add git port	2020-02-20 07:07:33 +01:00
.gitignore	Ports: Add default .gitconfig for Git port	2020-09-15 21:43:29 +02:00
default_gitconfig	Ports: Add default .gitconfig for Git port	2020-09-15 21:43:29 +02:00
package.sh	Ports: Add default .gitconfig for Git port	2020-09-15 21:43:29 +02:00