From d108d58058ce1b40513139e1f589f237ea3fcb16 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Wed, 17 Dec 2008 19:53:19 -0600 Subject: [PATCH] Move math.miller-rabin to basis --- {extra => basis}/math/miller-rabin/authors.txt | 0 {extra => basis}/math/miller-rabin/miller-rabin-tests.factor | 0 {extra => basis}/math/miller-rabin/miller-rabin.factor | 0 {extra => basis}/math/miller-rabin/summary.txt | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename {extra => basis}/math/miller-rabin/authors.txt (100%) rename {extra => basis}/math/miller-rabin/miller-rabin-tests.factor (100%) rename {extra => basis}/math/miller-rabin/miller-rabin.factor (100%) rename {extra => basis}/math/miller-rabin/summary.txt (100%) diff --git a/extra/math/miller-rabin/authors.txt b/basis/math/miller-rabin/authors.txt similarity index 100% rename from extra/math/miller-rabin/authors.txt rename to basis/math/miller-rabin/authors.txt diff --git a/extra/math/miller-rabin/miller-rabin-tests.factor b/basis/math/miller-rabin/miller-rabin-tests.factor similarity index 100% rename from extra/math/miller-rabin/miller-rabin-tests.factor rename to basis/math/miller-rabin/miller-rabin-tests.factor diff --git a/extra/math/miller-rabin/miller-rabin.factor b/basis/math/miller-rabin/miller-rabin.factor similarity index 100% rename from extra/math/miller-rabin/miller-rabin.factor rename to basis/math/miller-rabin/miller-rabin.factor diff --git a/extra/math/miller-rabin/summary.txt b/basis/math/miller-rabin/summary.txt similarity index 100% rename from extra/math/miller-rabin/summary.txt rename to basis/math/miller-rabin/summary.txt