If interface exists, ask if it should be overwritten#865

Merged

zth merged 2 commits intorescript-lang:masterfrom

fhammerschmidt:ask-to-overwrite-interface

Dec 14, 2023

Commits on Dec 12, 2023

If interface exists, ask if it should be overwritten
fhammerschmidt
committed

Commits on Dec 13, 2023

Changelog
fhammerschmidt
committed