From 30c79fc01026884f282e04b76b8e5296da5c90c0 Mon Sep 17 00:00:00 2001
From: Jan Frenzel <jan.frenzel@tu-dresden.de>
Date: Thu, 21 Oct 2021 17:46:53 +0200
Subject: [PATCH] Moved highlight_lines.png to correct directory.

---
 .../{ => docs/contrib}/misc/highlight_lines.png     | Bin
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename doc.zih.tu-dresden.de/{ => docs/contrib}/misc/highlight_lines.png (100%)

diff --git a/doc.zih.tu-dresden.de/misc/highlight_lines.png b/doc.zih.tu-dresden.de/docs/contrib/misc/highlight_lines.png
similarity index 100%
rename from doc.zih.tu-dresden.de/misc/highlight_lines.png
rename to doc.zih.tu-dresden.de/docs/contrib/misc/highlight_lines.png
-- 
GitLab