8000 Save all open editors before running `Save As` by msujew · Pull Request #939 · arduino/arduino-ide · GitHub
[go: up one dir, main page]

Skip to content

Save all open editors before running Save As#939

Merged
fstasi merged 2 commits intomainfrom
msujew/save-on-save-as
Apr 29, 2022

Commits

Commits on Apr 20, 2022

Commits on Apr 21, 2022

0