From d4caa2fdd9b8a329642132c51a43e26d8972f8fa Mon Sep 17 00:00:00 2001
From: Martin Schroschk <martin.schroschk@tu-dresden.de>
Date: Mon, 6 Mar 2023 10:31:13 +0100
Subject: [PATCH] Move script to right directory

---
 .../util}/check_TOC.py                                            | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename {doc.zih.tu-dresden.de%2Futil => doc.zih.tu-dresden.de/util}/check_TOC.py (100%)

diff --git a/doc.zih.tu-dresden.de%2Futil/check_TOC.py b/doc.zih.tu-dresden.de/util/check_TOC.py
similarity index 100%
rename from doc.zih.tu-dresden.de%2Futil/check_TOC.py
rename to doc.zih.tu-dresden.de/util/check_TOC.py
-- 
GitLab