2022-06-09 15:08:48 +01:00
|
|
|
# Config options appended to clippy.toml when we run Nightly clippy
|
2022-06-08 17:08:40 +01:00
|
|
|
#
|
|
|
|
# We must edit the tree, this way, sadly:
|
|
|
|
# https://github.com/rust-lang/rust-clippy/issues/8973
|
|
|
|
|
2022-06-24 13:24:00 +01:00
|
|
|
# (currently we do not need tohave anything here; everything is dealt with
|
|
|
|
# by suppressions maintained by maint/add_warning)
|