diff options
| author | Lysxia | 2018-07-30 18:29:09 -0400 |
|---|---|---|
| committer | Lysxia | 2018-07-30 18:29:09 -0400 |
| commit | 8b54fe199b358af0963737e079a0cf59984b343a (patch) | |
| tree | ac46bca495778bb4ee066ea08f376afd5175aa7d /dev/tools/github-check-prs.py | |
| parent | dd84c113a154742dff86328ebc758097e9aac8eb (diff) | |
Fix typos and typesetting of doc on Program
Diffstat (limited to 'dev/tools/github-check-prs.py')
0 files changed, 0 insertions, 0 deletions