From 7ce8ce5a046e9c00c5df8c155c293b68fcf1173c Mon Sep 17 00:00:00 2001 From: Mus M Date: Sat, 3 Jun 2017 15:25:58 -0400 Subject: [PATCH] Rename Sleef.jl to SLEEF.jl --- src/{Sleef.jl => SLEEF.jl} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/{Sleef.jl => SLEEF.jl} (100%) diff --git a/src/Sleef.jl b/src/SLEEF.jl similarity index 100% rename from src/Sleef.jl rename to src/SLEEF.jl