From e6c37a52874468bf4b28da579357ca759bdf8c38 Mon Sep 17 00:00:00 2001 From: Jukka Aho Date: Tue, 18 Nov 2025 14:16:01 +0200 Subject: [PATCH] Move src/problems_mortar.jl to src/legacy/problems_mortar.jl --- src/{ => legacy}/problems_mortar.jl | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/{ => legacy}/problems_mortar.jl (100%) diff --git a/src/problems_mortar.jl b/src/legacy/problems_mortar.jl similarity index 100% rename from src/problems_mortar.jl rename to src/legacy/problems_mortar.jl