From 4813d5dd6061f92682c81473f54a919ee70ae7bb Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Tue, 6 Feb 2024 04:20:21 +0100
Subject: [PATCH] Remove RR.purs (now useless).

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

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