diff options
| author | Marek Barvíř <barvirm@gmail.com> | 2023-04-01 14:58:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-01 14:58:33 +0200 |
| commit | 9eb6174b22fa4824869fc5e923b96847c2968462 (patch) | |
| tree | ca45690ef9a0903bc80b1d0f1f859daee72d440f /cli | |
| parent | 90e7d18f26f2043cdf5ecda0d46b0174006c4b59 (diff) | |
Unreachable pattern (#501)
Diffstat (limited to 'cli')
0 files changed, 0 insertions, 0 deletions