diff options
author | rsiddharth <s@ricketyspace.net> | 2019-07-09 18:11:50 -0400 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2019-07-09 18:11:50 -0400 |
commit | fd4386c6b8bf2858da71d3e089528414ecd4a352 (patch) | |
tree | 66ea998958592d7bdbb88097ee3ec3a69e876754 /.github/workflows/codeql.yml | |
parent | 6dffeefb95e424a70b08aba2e1942b3be32febd6 (diff) |
revoke_crt.py: Use input instead of raw_input.
Diffstat (limited to '.github/workflows/codeql.yml')
0 files changed, 0 insertions, 0 deletions