Jake Howard ce0ae97d71 Add settings gitlens keeps trying to add		2018-04-06 21:03:52 +01:00
..
files	Add settings gitlens keeps trying to add	2018-04-06 21:03:52 +01:00
manifests	Add main git config	2018-03-31 18:13:48 +01:00
templates	Add sourcebots specific git config	2018-03-31 18:55:32 +01:00