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
4,417 Commits 55 Branches 79 Tags
edge
Commit Graph

2 Commits

Author SHA1 Message Date
Nicolas Setton
e1c258f624 Small changes for gitpod / VS Code integration 
Add subprojects/ to the .gitignore.
Open the welcome message in the editor.
Fix a typo in the welcome message.
 2021-03-17 16:18:45 +00:00
Maxim Reznik
9501c348db Update gitpod Dockerfile to install GNAT Community 2020 2021-03-15 15:34:25 +02:00