From e24e5ca69a5dcecd265bf9da541b7f901847ae30 Mon Sep 17 00:00:00 2001
From: Dmitri Naumov <github@naumov.de>
Date: Fri, 13 Jul 2018 01:08:44 +0200
Subject: [PATCH] [BL] Rename DebugTools into Stream.

---
 BaseLib/{DebugTools.h => Stream.h} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename BaseLib/{DebugTools.h => Stream.h} (100%)

diff --git a/BaseLib/DebugTools.h b/BaseLib/Stream.h
similarity index 100%
rename from BaseLib/DebugTools.h
rename to BaseLib/Stream.h
-- 
GitLab