search

AdaCore / learn

Sources for learn.adacore.com
https://learn.adacore.com
Creative Commons Attribution 4.0 International
92 stars 38 forks source link

Widget: include SPARK project in downloaded zip file #1036

Closed gusthoff closed 4 months ago

gusthoff commented 4 months ago

Fix #1020