From d4d9162fcdbd11e7eabde02a498fe4be52acb588 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tomasz=20=C5=9Amierzchalski?=
 <53766192+tomsmierz@users.noreply.github.com>
Date: Wed, 6 Dec 2023 16:02:29 +0100
Subject: [PATCH] Rename aux.jl to utils.jl, becouse aux.* is restricted
 filename in windows

---
 src/mps/{aux.jl => utils.jl} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename src/mps/{aux.jl => utils.jl} (100%)

diff --git a/src/mps/aux.jl b/src/mps/utils.jl
similarity index 100%
rename from src/mps/aux.jl
rename to src/mps/utils.jl