From f1dd27480d22d0027b368a58dd619ea42d6e5ab3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 28 May 2024 20:20:07 +0200
Subject: [PATCH] [region] refactor insert into code

---
 src/plugins/region/{insert.ml => code.ml}   | 0
 src/plugins/region/{insert.mli => code.mli} | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 rename src/plugins/region/{insert.ml => code.ml} (100%)
 rename src/plugins/region/{insert.mli => code.mli} (100%)

diff --git a/src/plugins/region/insert.ml b/src/plugins/region/code.ml
similarity index 100%
rename from src/plugins/region/insert.ml
rename to src/plugins/region/code.ml
diff --git a/src/plugins/region/insert.mli b/src/plugins/region/code.mli
similarity index 100%
rename from src/plugins/region/insert.mli
rename to src/plugins/region/code.mli
-- 
GitLab