From 54d6e865ec031c7239670ad4cfadec4d847b3755 Mon Sep 17 00:00:00 2001
From: Jimmy Brisson <theotherjimmy@gmail.com>
Date: Wed, 30 Jan 2019 15:33:26 -0600
Subject: [PATCH] Fix indentation

---
 tools/resources/__init__.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/resources/__init__.py b/tools/resources/__init__.py
index 251ff01559..9c1620b523 100644
--- a/tools/resources/__init__.py
+++ b/tools/resources/__init__.py
@@ -269,7 +269,7 @@ class Resources(object):
                 if not any(
                    path.startswith(dirname(e.path)) for e in self._excluded_libs
                 ):
-        	    to_ret.append(ref)
+                    to_ret.append(ref)
             return to_ret
 
     def filter_by_libraries(self, library_refs):