From e5da422395e3a5fe22f2498cfd0ff6b2bf2b739d Mon Sep 17 00:00:00 2001 From: JohnDoe6345789 Date: Thu, 27 Nov 2025 19:53:12 +0000 Subject: [PATCH] Rename WizardMergeSpec.tla to spec/WizardMergeSpec.tla --- WizardMergeSpec.tla => spec/WizardMergeSpec.tla | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename WizardMergeSpec.tla => spec/WizardMergeSpec.tla (100%) diff --git a/WizardMergeSpec.tla b/spec/WizardMergeSpec.tla similarity index 100% rename from WizardMergeSpec.tla rename to spec/WizardMergeSpec.tla