mirror of
https://github.com/github/codeql.git
synced 2026-06-06 14:07:06 +02:00
3 lines
54 B
Plaintext
3 lines
54 B
Plaintext
@import "correctness-core"
|
|
@import "correctness-more"
|