Jake Howard ae4d3b4c06 Set locale in vscode		2018-04-06 08:59:44 +01:00
..
files	Set locale in vscode	2018-04-06 08:59:44 +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