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