2 commits

Author	SHA1	Message	Date
Dave Rodgman	378ecdd859	Rename VS2010 directory to VS2013 and update Makefiles etc ... Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>	2023-01-11 18:56:11 +00:00
Gilles Peskine	76c5185dcd	Move VS2010 Git ignore list to the VS2010 directory ... The main benefit is that this ensures that the directory always exists in a Git checkout. This way the maintenance scripts don't have to worry about the case where the directory doesn't exist. Also it unclutters `/.gitignore`. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2021-05-20 10:37:22 +02:00