From f86e389889b02a632e8106ea40780c0048e46f3f Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Tue, 7 Dec 2021 14:22:58 +0100
Subject: [PATCH] reorg

---
 {ded.new => new.ded}/Makefile      |   0
 {ded.new => new.ded}/ded.dtx       |   0
 {ded.new => new.ded}/ded.pdf       | Bin
 {ded.new => new.ded}/ded.sty       |   0
 {ded.new => new.ded}/ded.sty.ltxml |   0
 5 files changed, 0 insertions(+), 0 deletions(-)
 rename {ded.new => new.ded}/Makefile (100%)
 rename {ded.new => new.ded}/ded.dtx (100%)
 rename {ded.new => new.ded}/ded.pdf (100%)
 rename {ded.new => new.ded}/ded.sty (100%)
 rename {ded.new => new.ded}/ded.sty.ltxml (100%)

diff --git a/ded.new/Makefile b/new.ded/Makefile
similarity index 100%
rename from ded.new/Makefile
rename to new.ded/Makefile
diff --git a/ded.new/ded.dtx b/new.ded/ded.dtx
similarity index 100%
rename from ded.new/ded.dtx
rename to new.ded/ded.dtx
diff --git a/ded.new/ded.pdf b/new.ded/ded.pdf
similarity index 100%
rename from ded.new/ded.pdf
rename to new.ded/ded.pdf
diff --git a/ded.new/ded.sty b/new.ded/ded.sty
similarity index 100%
rename from ded.new/ded.sty
rename to new.ded/ded.sty
diff --git a/ded.new/ded.sty.ltxml b/new.ded/ded.sty.ltxml
similarity index 100%
rename from ded.new/ded.sty.ltxml
rename to new.ded/ded.sty.ltxml
-- 
GitLab