From 905277425390a8516a26302c6aa9d4b17f5f06ff Mon Sep 17 00:00:00 2001 From: Shahram Najm Date: Wed, 15 Feb 2023 16:16:18 +0000 Subject: [PATCH] Deprecated tools --- tools/{ => deprecated}/load.cc | 0 tools/{ => deprecated}/load.h | 0 tools/{ => deprecated}/loadl.l | 0 tools/{ => deprecated}/loady.y | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename tools/{ => deprecated}/load.cc (100%) rename tools/{ => deprecated}/load.h (100%) rename tools/{ => deprecated}/loadl.l (100%) rename tools/{ => deprecated}/loady.y (100%) diff --git a/tools/load.cc b/tools/deprecated/load.cc similarity index 100% rename from tools/load.cc rename to tools/deprecated/load.cc diff --git a/tools/load.h b/tools/deprecated/load.h similarity index 100% rename from tools/load.h rename to tools/deprecated/load.h diff --git a/tools/loadl.l b/tools/deprecated/loadl.l similarity index 100% rename from tools/loadl.l rename to tools/deprecated/loadl.l diff --git a/tools/loady.y b/tools/deprecated/loady.y similarity index 100% rename from tools/loady.y rename to tools/deprecated/loady.y