From 29764aad4881fde809af6a025c12012e47a55515 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Thu, 11 Jun 2020 16:40:34 +0300
Subject: [PATCH] Remove trailing whitespace

---
 tools/single-header.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tools/single-header.py b/tools/single-header.py
index 9982c41..c5af76d 100644
--- a/tools/single-header.py
+++ b/tools/single-header.py
@@ -23,11 +23,11 @@ def scan_header( prefix, dir, fn ):
 	included.append( path )
 
 	with open( path, 'r' ) as header:
-	
+
 		for line in header:
-		
+
 			m = re.match( '[ \t]*#[ \t]*include[ \t]*(["<])([^">]*)[">]', line )
-			
+
 			r = False
 
 			if m: