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 | |
| parent | 6dffeefb95e424a70b08aba2e1942b3be32febd6 (diff) | |
revoke_crt.py: Use input instead of raw_input.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions