diff options
| author | Blaž Hrastnik | 2020-12-14 05:12:54 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2020-12-14 05:12:54 +0000 |
| commit | ed6a4c4bd240630355d1c61a1c05c4e22bf62a86 (patch) | |
| tree | 6ecac67f9e7f3e0d5d15917a364057f7dd342db1 /.github | |
| parent | 07801b60bccd0f084eae925e0290c24322de575f (diff) | |
wip: Use prompt for interactive commands.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions