You've already forked gnat-gdb-scripts
mirror of
https://github.com/AdaCore/gnat-gdb-scripts.git
synced 2026-02-12 12:44:23 -08:00
Also introduce a Mypy setup, to type-check the testsuite code (only that for now). Change-Id: Ib90b1ac7e344fb34c7560dc0ff32ca95e0705cd7 TN: U622-042