ada/learn
0
0
Fork 0
mirror of https://github.com/AdaCore/learn.git synced 2026-02-12 13:00:42 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
main
learn/.github
History
gusthoff 93bca6b45a Github actions: renaming branches: "master" => "main" 
Branch was renamed on 2025-07-11.
2025-10-18 02:47:31 +02:00
..
workflows
Github actions: renaming branches: "master" => "main"
2025-10-18 02:47:31 +02:00