Anthony Leonardo Gracio 8f25481cd7 Remove unused packages ...

For eng/ide/gnatstudio#589

2026-01-06 15:12:21 +00:00

..

core

Update copyright year for GS sources

2026-01-05 12:41:13 +00:00

obj

Fix permissions

2009-11-23 20:11:05 +00:00

src

Remove unused packages

2026-01-06 15:12:21 +00:00

prj_core.gpr

PB02-019 (1/3) Correcting for Documentation_Dir attribute

2016-11-11 17:48:01 +01:00

prj_editor.gpr

Call the build mode "Coverage" rather than "cov"

2025-04-25 09:42:14 +00:00