Update script to correctly handle new prelude style#494
Open
frank-at-adacore wants to merge 4 commits intomasterfrom
Open
Update script to correctly handle new prelude style#494frank-at-adacore wants to merge 4 commits intomasterfrom
frank-at-adacore wants to merge 4 commits intomasterfrom