Skip to content

core: add confirmation prompt when executing clear command history#12510

Merged
vince-fugnitto merged 1 commit intoeclipse-theia:masterfrom helloworldmygithub:clear_command_historyMay 11, 2023

Commits

Commits on May 10, 2023