ada/Ada_Drivers_Library
0
0
Fork 0
mirror of https://github.com/AdaCore/Ada_Drivers_Library.git synced 2026-02-12 12:26:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
raspberry_pi
Ada_Drivers_Library/scripts
History
Jerome Lambourg 522670852b Fix scripts/build_all_examples.py 
Fix a build error that may happen due to an old gprbuild being in use.
2017-04-23 16:39:46 +02:00
..
build_all_examples.py
Fix scripts/build_all_examples.py
2017-04-23 16:39:46 +02:00
install_optional_deps.py
Fix the appveyor.yml script so that it installs the embedded runtimes
2017-04-21 10:12:17 +02:00