Take main Concepts.qll out of the PR

This commit is contained in:
jorgectf
2021-03-24 18:23:59 +01:00
parent a1a3c98d92
commit d61adccd3c

View File

@@ -625,4 +625,5 @@ module Cryptography {
final override int minimumSecureKeySize() { result = 224 }
}
}
}
}
}