From fff9a0420701a1dfb39a64d39ddc5a6967ab384b Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 15 May 2022 06:12:32 +0200
Subject: configure: generate grt-readline.ads

---
 src/grt/grt-readline.ads | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 src/grt/grt-readline.ads

(limited to 'src')

diff --git a/src/grt/grt-readline.ads b/src/grt/grt-readline.ads
deleted file mode 100644
index 12739f07c..000000000
--- a/src/grt/grt-readline.ads
+++ /dev/null
@@ -1,2 +0,0 @@
-with Grt.Readline_Gnu;
-package Grt.Readline renames Grt.Readline_Gnu;
-- 
cgit v1.2.3