Vadim Godunko f9f496fbec Merge branch 'topic/vadim/remote-main_target_project' into 'master' ...

Remap path to the project file to remote path.

Closes #149

See merge request eng/ide/gnatstudio!307

(cherry picked from commit 4365868432)

aa393bfd Remap path to the project file to remote path.

2023-11-20 12:58:53 +00:00

..

core/src

Merge branch 'topic/vadim/remote-main_target_project' into 'master'

2023-11-20 12:58:53 +00:00

design

Fix spelling of "overridden"

2015-07-28 13:13:06 -04:00

obj

Fix permissions

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

src

Update copyright year (no-tn-check)

2023-01-03 11:39:28 +01:00

builder_core.gpr

R814-014 Stop raising exceptions in the normal flow

2019-03-26 09:51:13 +01:00

builder.gpr

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

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