AdaCore / adareducer

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

the project should be passed in a `-P` switch

setton opened this issue · comments

... rather than as "parameter 1"