diff options
author | rsiddharth <s@ricketyspace.net> | 2020-04-12 12:45:15 -0400 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2020-04-12 12:45:15 -0400 |
commit | 2b7521c7f124aad3396119c7d81c4797b5c2b9b4 (patch) | |
tree | 154499bca3ffd220a5f432aa0262de6cc5d7a59c /.github/workflows | |
parent | b30e94d971dfade1c3b5ffa231ab2a2b472700db (diff) |
acmens.py: Update arguments to acmens.py
Now CSR path needs to be given via the --csr switch.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions