commit 893b5da23f94e20a00b575cf115f885d4266f30e parent 3555746521d155783d69f4af0e3cded6ccaaa4c7 Author: Florian Dold <florian@dold.me> Date: Wed, 5 Jul 2023 17:40:12 +0200 simplify Diffstat:
| M | sandcastle/.gitignore | | | 1 | - |
| R | sandcastle/tags-stable.sh -> sandcastle/buildconfig/tags.sh | | | 0 |
2 files changed, 0 insertions(+), 1 deletion(-)
diff --git a/sandcastle/.gitignore b/sandcastle/.gitignore @@ -1 +0,0 @@ -buildconfig/tags.sh diff --git a/sandcastle/tags-stable.sh b/sandcastle/buildconfig/tags.sh