ada/ada_language_server
0
0
Fork 0
mirror of https://github.com/AdaCore/ada_language_server.git synced 2026-02-12 12:45:50 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
topic/workflows
ada_language_server/integration
History
Andry Ogorodnik 3c5018677b Support gprbuild's configuration file 
`gprConfigurationFile` configuration option can be used to set
configuration file name that will be passed to GPR2

For eng/ide/gnatstudio#453
2024-12-16 08:34:54 +00:00
..
vscode
Support gprbuild's configuration file
2024-12-16 08:34:54 +00:00