Skip to content

gtkada_ug: typo causing a sphinx warning#47

Open
asarhaddon wants to merge 1 commit intoAdaCore:masterfrom
asarhaddon:typo-sphinx-warning
Open

gtkada_ug: typo causing a sphinx warning#47
asarhaddon wants to merge 1 commit intoAdaCore:masterfrom
asarhaddon:typo-sphinx-warning

Commits

Commits on Feb 4, 2023