From 0fb1363b1a92d3dc22c58f6583c4bde851ef66ca Mon Sep 17 00:00:00 2001
From: Uwe Kindler <uwe_kindler@web.de>
Date: Tue, 17 Dec 2019 14:11:21 +0100
Subject: [PATCH] Moved tab_menu.gif to the right location

---
 {demo/images => doc}/tab_menu.gif | Bin
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename {demo/images => doc}/tab_menu.gif (100%)

diff --git a/demo/images/tab_menu.gif b/doc/tab_menu.gif
similarity index 100%
rename from demo/images/tab_menu.gif
rename to doc/tab_menu.gif