diff options
| author | mrb0nk500 <b0nk@b0nk.xyz> | 2021-08-01 13:00:18 -0400 |
|---|---|---|
| committer | mrb0nk500 <b0nk@b0nk.xyz> | 2021-08-01 13:11:16 -0400 |
| commit | 3900c702ca59264604a81611779155b874e486c0 (patch) | |
| tree | 5891410e9b8e3607ca9553b6ddf5ef1f744b2555 /.gitignore | |
| parent | 12cd53117b38f17f4053a728a5de09a447f23e32 (diff) | |
Check if the PR root directory exists, in `main_loop()`.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions