diff options
| author | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2023-04-17 10:50:34 +0200 |
|---|---|---|
| committer | Jeroen Wijenbergh <46386452+jwijenbergh@users.noreply.github.com> | 2023-04-18 14:05:19 +0200 |
| commit | bffe8ff5c360ffb7d304e93ac97e0cbd78feaa7b (patch) | |
| tree | 2de4952839f21d61ffb3b554d3770a10f0c908e1 /wrappers/python/.gitignore | |
| parent | aac05c4f0ec872ebf6d4568e5590f303cf124568 (diff) | |
CLI: Fix linter error for old state unused
Diffstat (limited to 'wrappers/python/.gitignore')
0 files changed, 0 insertions, 0 deletions