From 50037a951043c3eeccdda778af03533917d76687 Mon Sep 17 00:00:00 2001 From: mtfishman Date: Fri, 25 Oct 2024 12:57:29 -0400 Subject: [PATCH] Recover deprecated.jl --- src/{deprecated_backup.jl => deprecated.jl} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/{deprecated_backup.jl => deprecated.jl} (100%) diff --git a/src/deprecated_backup.jl b/src/deprecated.jl similarity index 100% rename from src/deprecated_backup.jl rename to src/deprecated.jl