Merge pull request #1026 from LibrePCB/auto-abort-other-editor-tool
U. Bruhin · Sep 20, 2022, 9:34 PM UTC
ff0c06fe9b2eCommits that changed this file.
Commits included in published releases. Unpublished intermediate commits are private. Showing matches from the latest 100 commits ending at this release.
U. Bruhin · Sep 20, 2022, 9:34 PM UTC
ff0c06fe9b2eU. Bruhin · Dec 14, 2021, 9:39 PM UTC
d284310ab3a8