Skip to content

Commit

Permalink
Merge branch 'topic/eng/ide/ada_language_server#1396' into 'edge'
Browse files Browse the repository at this point in the history 
Adapt to GPR2 changes

See merge request eng/ide/ada_language_server!1640
  • Loading branch information
@AnthonyLeonardoGracio
AnthonyLeonardoGracio committed Jul 25, 2024
2 parents 64ec4ff + b84d6bc commit 734b49f
Showing 1 changed file with 2,035 additions and 2,712 deletions.
Loading

0 comments on commit 734b49f

Please sign in to comment.