new command to set default editor opener type #5995
Triggered via pull request
October 25, 2024 21:23
isabelizimm
isabelizimm
closed
#5075
Status
Success
Total duration
15s
Artifacts
–