diff options
author | sharkdp <davidpeter@web.de> | 2020-04-21 21:14:44 +0200 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2020-04-22 23:55:28 +0200 |
commit | 1dc328ad495edbd98bff9e89a059d1e66f9780ef (patch) | |
tree | eede87f92be735be7a73ac572a2b320648d2eb53 /.github | |
parent | 5e5cb89da6e778bb896b8bcc99caa1e1a65f18f3 (diff) |
Separate inputs from config
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions