From 1ee3c54a5d8f282be219799a9e15ab14eb4290d5 Mon Sep 17 00:00:00 2001 From: "Michael H.G. Schmidt" Date: Sun, 3 Dec 2023 16:49:33 +0100 Subject: [PATCH] tools move --- adjoin.cmd => tools/adjoin.cmd | 0 adleave.cmd => tools/adleave.cmd | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename adjoin.cmd => tools/adjoin.cmd (100%) rename adleave.cmd => tools/adleave.cmd (100%) diff --git a/adjoin.cmd b/tools/adjoin.cmd similarity index 100% rename from adjoin.cmd rename to tools/adjoin.cmd diff --git a/adleave.cmd b/tools/adleave.cmd similarity index 100% rename from adleave.cmd rename to tools/adleave.cmd