Skip to content
make-mingw

doc: Clarify default editor difference between CLI and GUI (bug #66703). #133

Sign in to view logs

doc: Clarify default editor difference between CLI and GUI (bug #66703).

doc: Clarify default editor difference between CLI and GUI (bug #66703). #133

Triggered via push January 29, 2025 18:50
@siko1056siko1056
pushed 0b2616e
stable
Status Success
Total duration 1h 9m 9s
Artifacts –

make-mingw.yaml

on: push
Matrix: mingw
Fit to window
Zoom out
Zoom in