From f49729cbd377ea7cd6ce9f708576984dde20e8dd Mon Sep 17 00:00:00 2001 From: rmkaplan <69548581+rmkaplan@users.noreply.github.com> Date: Mon, 30 Oct 2023 21:37:59 -0700 Subject: [PATCH] COLOROBJ never worked, move to obsolete (#1374) --- {lispusers => obsolete/lispusers}/COLOROBJ | 0 {lispusers => obsolete/lispusers}/COLOROBJ.LCOM | Bin {lispusers => obsolete/lispusers}/COLOROBJ.TEDIT | Bin 3 files changed, 0 insertions(+), 0 deletions(-) rename {lispusers => obsolete/lispusers}/COLOROBJ (100%) rename {lispusers => obsolete/lispusers}/COLOROBJ.LCOM (100%) rename {lispusers => obsolete/lispusers}/COLOROBJ.TEDIT (100%) diff --git a/lispusers/COLOROBJ b/obsolete/lispusers/COLOROBJ similarity index 100% rename from lispusers/COLOROBJ rename to obsolete/lispusers/COLOROBJ diff --git a/lispusers/COLOROBJ.LCOM b/obsolete/lispusers/COLOROBJ.LCOM similarity index 100% rename from lispusers/COLOROBJ.LCOM rename to obsolete/lispusers/COLOROBJ.LCOM diff --git a/lispusers/COLOROBJ.TEDIT b/obsolete/lispusers/COLOROBJ.TEDIT similarity index 100% rename from lispusers/COLOROBJ.TEDIT rename to obsolete/lispusers/COLOROBJ.TEDIT