diff options
author | Matthias Beyer <matthias.beyer@ifm.com> | 2022-02-18 12:23:04 +0100 |
---|---|---|
committer | Matthias Beyer <matthias.beyer@ifm.com> | 2022-02-18 13:27:11 +0100 |
commit | ac4b7bf65e13e09c72699e9cc7b008c6a89711f5 (patch) | |
tree | f99fa3fe20471243faf9866e6bee92d4b1fab122 /crates/core/tedge | |
parent | b08ca52f748181b0ee2813c9cc928da2ffcf51c9 (diff) |
Allow `clippy::enum_variant_names` for DeviceMonitorError
This patch allows the `clippy::enum_variant_names` lint for the
`DeviceMonitorError` type, as a refactoring of the complete codebase
for the typename would be too much of a change right now.
Signed-off-by: Matthias Beyer <matthias.beyer@ifm.com>
Diffstat (limited to 'crates/core/tedge')
0 files changed, 0 insertions, 0 deletions