From 2c439667cf70b145f10a878c28f3a6ac12719489 Mon Sep 17 00:00:00 2001 From: Philippe Pittoli Date: Fri, 14 Jul 2023 01:16:24 +0200 Subject: [PATCH] Move AlternativeMain (will probably be ignored forever). --- {src => drop}/AlternativeMain.purs | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {src => drop}/AlternativeMain.purs (100%) diff --git a/src/AlternativeMain.purs b/drop/AlternativeMain.purs similarity index 100% rename from src/AlternativeMain.purs rename to drop/AlternativeMain.purs