From 3e0d4ecfe620197022ca49af242e89c5bbba569d Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Sat, 17 Feb 2024 19:19:18 +0100
Subject: [PATCH] Remove original Interface.

---
 {src/App => drop}/OriginalInterface.purs | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename {src/App => drop}/OriginalInterface.purs (100%)

diff --git a/src/App/OriginalInterface.purs b/drop/OriginalInterface.purs
similarity index 100%
rename from src/App/OriginalInterface.purs
rename to drop/OriginalInterface.purs