diff options
| author | Blaž Hrastnik | 2020-12-15 10:29:56 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2020-12-15 10:29:56 +0000 |
| commit | 8f0b28aeb872797e4be3f07575e628f5f93e74e0 (patch) | |
| tree | 10d7964d79cd2c6959e9f38be4682bea7c3b4754 /.github/workflows | |
| parent | 1a843b6c06b5d4d75feb0a424bbfdcfb33ab7651 (diff) | |
Make the select prompt interactive.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions