From 83b5b474a0d86d7433ea4f4759d7bd6a72925822 Mon Sep 17 00:00:00 2001
From: Bogdan Marinescu <bogdan.marinescu@arm.com>
Date: Sun, 29 May 2016 17:32:05 +0300
Subject: [PATCH] Add tools/ to the list of ignored directories

Mirros the setting for mbed/workspace_tools.
---
 .mbedignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.mbedignore b/.mbedignore
index 0872225a35..d125e9b8ee 100644
--- a/.mbedignore
+++ b/.mbedignore
@@ -2,3 +2,4 @@ mbed/docs/*
 mbed/libraries/*
 mbed/travis/*
 mbed/workspace_tools/*
+tools/*