From f2e7788d1cb39cb243855c61af3e00ebd1c122e8 Mon Sep 17 00:00:00 2001 From: "Dave Walker (Daviey)" Date: Fri, 24 Jul 2015 18:16:46 +0100 Subject: [PATCH] Oops, fix filename mistake on anchor.json Anchor as recently added, but it was wrongly called anchor.git, rather than anchor.json - meaning it is not usually used. Change-Id: If0d978df5a81d0f9ade1b6582fefbe6a9aec14cb Signed-off-by: Dave Walker (Daviey) --- projects/{anchor.git => anchor.json} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename projects/{anchor.git => anchor.json} (100%) diff --git a/projects/anchor.git b/projects/anchor.json similarity index 100% rename from projects/anchor.git rename to projects/anchor.json