From 687e9f90fe70c5e0491995fa911d797b9eaf07d3 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Sun, 5 Apr 2009 23:16:48 -0500 Subject: [PATCH] Move models.history to extra --- basis/models/models-docs.factor | 1 - {basis => extra}/models/history/history-docs.factor | 0 {basis => extra}/models/history/history-tests.factor | 0 {basis => extra}/models/history/history.factor | 0 {basis => extra}/models/history/summary.txt | 0 5 files changed, 1 deletion(-) rename {basis => extra}/models/history/history-docs.factor (100%) rename {basis => extra}/models/history/history-tests.factor (100%) rename {basis => extra}/models/history/history.factor (100%) rename {basis => extra}/models/history/summary.txt (100%) diff --git a/basis/models/models-docs.factor b/basis/models/models-docs.factor index 2b90bdb0d5..8f40a8adbe 100644 --- a/basis/models/models-docs.factor +++ b/basis/models/models-docs.factor @@ -133,7 +133,6 @@ $nl { $subsection "models-impl" } { $subsection "models.arrow" } { $subsection "models.product" } -{ $subsection "models-history" } { $subsection "models-range" } { $subsection "models-delay" } ; diff --git a/basis/models/history/history-docs.factor b/extra/models/history/history-docs.factor similarity index 100% rename from basis/models/history/history-docs.factor rename to extra/models/history/history-docs.factor diff --git a/basis/models/history/history-tests.factor b/extra/models/history/history-tests.factor similarity index 100% rename from basis/models/history/history-tests.factor rename to extra/models/history/history-tests.factor diff --git a/basis/models/history/history.factor b/extra/models/history/history.factor similarity index 100% rename from basis/models/history/history.factor rename to extra/models/history/history.factor diff --git a/basis/models/history/summary.txt b/extra/models/history/summary.txt similarity index 100% rename from basis/models/history/summary.txt rename to extra/models/history/summary.txt