Skip to content

eframe: rename quit/exit to "close"#1943

Merged
emilk merged 3 commits intomasterfrom closeAug 20, 2022

Commits

Commits on Aug 20, 2022