mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
3 lines
54 B
Plaintext
3 lines
54 B
Plaintext
@import "correctness-core"
|
|
@import "correctness-more"
|