Skip to content

feat(gui, config, text_editor): allow to use your prefered text edito… #1433

feat(gui, config, text_editor): allow to use your prefered text edito…

feat(gui, config, text_editor): allow to use your prefered text edito… #1433

Triggered via push December 23, 2024 20:22
Status Success
Total duration 1h 30m 11s
Artifacts
Matrix: Analyze
Fit to window
Zoom out
Zoom in