From e6e1021b931f61b41ae3d4ac9a8ab5078cfc9447 Mon Sep 17 00:00:00 2001 From: Alejandro R Mosteo Date: Thu, 14 Mar 2024 12:30:21 +0100 Subject: [PATCH] Remove unused entity (#1636) --- src/alire/alire-paths.ads | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/alire/alire-paths.ads b/src/alire/alire-paths.ads index 5b4a0682..6019836b 100644 --- a/src/alire/alire-paths.ads +++ b/src/alire/alire-paths.ads @@ -27,9 +27,6 @@ package Alire.Paths with Preelaborate is Scripts_Graph_Easy : constant String := "graph-easy"; -- Script for ASCII graphs - Complete_Flag : constant String := "complete_copy"; - -- We use /alire/ to mark that a file operation was completed - private Crate_File_Extension_With_Dot : constant String := ".toml"; -- 2.39.5