You've already forked ada_language_server
mirror of
https://github.com/AdaCore/ada_language_server.git
synced 2026-02-12 12:45:50 -08:00
Print a diff in stdout and log the full output in out/new/*.log Add a switch failed_out for dev usage, by default it's set to "diff" eng/ide/ada_language_server#1161