<a title="QScintilla: improve the build system (#1931)" href="https://github.com/opencor/opencor/pull/1932">PR #1932</a>: QScintilla: improve the bui...
No changes. | |
GitHub pull request #1932 of commit d3e8fb4a3dd76a3f54341e1b8c7df688b1234114, no merge conflicts. | |
This run spent:
|