From 5bf77102fc8aa19a84b623571ba55180d4d0abcc Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Tue, 21 Jul 2015 17:07:42 -0700 Subject: [PATCH] fonts.syntax: not sure what this does, moving to unmaintained for now. --- {extra => unmaintained}/fonts/syntax/authors.txt | 0 {extra => unmaintained}/fonts/syntax/summary.txt | 0 {extra => unmaintained}/fonts/syntax/syntax-docs.factor | 0 {extra => unmaintained}/fonts/syntax/syntax.factor | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename {extra => unmaintained}/fonts/syntax/authors.txt (100%) rename {extra => unmaintained}/fonts/syntax/summary.txt (100%) rename {extra => unmaintained}/fonts/syntax/syntax-docs.factor (100%) rename {extra => unmaintained}/fonts/syntax/syntax.factor (100%) diff --git a/extra/fonts/syntax/authors.txt b/unmaintained/fonts/syntax/authors.txt similarity index 100% rename from extra/fonts/syntax/authors.txt rename to unmaintained/fonts/syntax/authors.txt diff --git a/extra/fonts/syntax/summary.txt b/unmaintained/fonts/syntax/summary.txt similarity index 100% rename from extra/fonts/syntax/summary.txt rename to unmaintained/fonts/syntax/summary.txt diff --git a/extra/fonts/syntax/syntax-docs.factor b/unmaintained/fonts/syntax/syntax-docs.factor similarity index 100% rename from extra/fonts/syntax/syntax-docs.factor rename to unmaintained/fonts/syntax/syntax-docs.factor diff --git a/extra/fonts/syntax/syntax.factor b/unmaintained/fonts/syntax/syntax.factor similarity index 100% rename from extra/fonts/syntax/syntax.factor rename to unmaintained/fonts/syntax/syntax.factor