Skip to content

Editorial change: replace plain footnotes by references using bibtex#1178

Merged
gusthoff merged 4 commits intoAdaCore:masterfrom gusthoff:content/ada_idioms/review/editorial/structure/20250125Jan 30, 2025
+117-62

Commits

Commits on Jan 25, 2025