diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2022-03-13 14:43:14 -0400 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2022-03-13 14:43:14 -0400 |
| commit | 21344dfb72f9b65b366ca5f754f1bc35f52da3c7 (patch) | |
| tree | e5c4c4011bfdbe2b745336768c61ddc4652fbef8 /.github/workflows | |
| parent | c4676b38309bba5d24efeb22f52fbeaace7dcbe2 (diff) | |
| download | bfs-21344dfb72f9b65b366ca5f754f1bc35f52da3c7.tar.xz | |
exec: Don't flush if the user says no to -ok
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions