Skip to content

Merge pull request #133 from mdenet/fix/save-xtext-editor-contents #106

Merge pull request #133 from mdenet/fix/save-xtext-editor-contents

Merge pull request #133 from mdenet/fix/save-xtext-editor-contents #106

Triggered via push December 4, 2023 16:20
Status Success
Total duration 49s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in