diff options
Diffstat (limited to 'proj/shared.gpr')
| -rw-r--r-- | proj/shared.gpr | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/proj/shared.gpr b/proj/shared.gpr deleted file mode 100644 index d16fc1a..0000000 --- a/proj/shared.gpr +++ /dev/null @@ -1,13 +0,0 @@ - - -abstract project Shared is - - - package Compiler is - for Default_Switches ("Ada") use ("-gnaty4aAbcefhiklM100nprt"); - end Compiler; - - -end Shared; - - |