From e21add5137dff0583dd073d3330eec1e4dccc3dd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Diot?= <tdiot@bunkerity.com>
Date: Thu, 18 Apr 2024 11:56:03 +0200
Subject: [PATCH] Rename iso-prod ui misc env file to the right name

---
 misc/dev/{variables.ui copy.env => variables.ui.misc.env} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename misc/dev/{variables.ui copy.env => variables.ui.misc.env} (100%)

diff --git a/misc/dev/variables.ui copy.env b/misc/dev/variables.ui.misc.env
similarity index 100%
rename from misc/dev/variables.ui copy.env
rename to misc/dev/variables.ui.misc.env