Skip to content

Merge pull request #20 from Okeanos/dependabot/github_actions/DavidAn… #128

Merge pull request #20 from Okeanos/dependabot/github_actions/DavidAn…

Merge pull request #20 from Okeanos/dependabot/github_actions/DavidAn… #128

editorconfig

succeeded Sep 16, 2024 in 8s