From 6d9171b1be89c62e9dfb20b3c47e6150e04c381f Mon Sep 17 00:00:00 2001 From: Jonathan Turner Date: Wed, 25 Oct 2023 15:37:51 +0000 Subject: [PATCH] delete default.gdr --- default.gpr | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 default.gpr diff --git a/default.gpr b/default.gpr deleted file mode 100644 index 70ec7cf..0000000 --- a/default.gpr +++ /dev/null @@ -1,7 +0,0 @@ -project Default is - - package Compiler is - for Switches ("Ada") use ("-g", "-O2"); - end Compiler; - -end Default;