From 291c875415f843d7b36803beb1990e182803db05 Mon Sep 17 00:00:00 2001
From: Rob Meades <rob.meades@u-blox.com>
Date: Wed, 14 Sep 2016 18:52:26 +0100
Subject: [PATCH] Remove "lib" and "lib64" from the mbed-OS .gitignore file:
 they do not seem to be required and lib is used as a directory name in a
 recent (u-blox) mbedOS target submission, so ignoring the files under that
 directory becomes a problem.

---
 .gitignore | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index d83168b55dc..abce393ccf0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -34,8 +34,6 @@ var
 sdist
 develop-eggs
 .installed.cfg
-lib
-lib64
 
 # Installer logs
 pip-log.txt