Skip to content

AdaCore gtkada url was not valid anymore#20

Open
heharkon wants to merge 1 commit intoAdaCore:masterfrom
heharkon:master
Open

AdaCore gtkada url was not valid anymore#20
heharkon wants to merge 1 commit intoAdaCore:masterfrom
heharkon:master

Commits

Commits on Nov 7, 2018