From f5f6937f6822de2196656eadb4c94a9d8400a5fa Mon Sep 17 00:00:00 2001 From: Rafael Fourquet Date: Fri, 10 May 2019 12:50:39 +0200 Subject: [PATCH] rename test/bigint.jl to test/gmp.jl For consistency with base/gmp.jl and test/mpfr.jl. --- test/{bigint.jl => gmp.jl} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename test/{bigint.jl => gmp.jl} (100%) diff --git a/test/bigint.jl b/test/gmp.jl similarity index 100% rename from test/bigint.jl rename to test/gmp.jl