diff options
Diffstat (limited to '')
-rw-r--r-- | src/tools/clippy/tests/ui/crashes/third-party/clippy.toml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/tools/clippy/tests/ui/crashes/third-party/clippy.toml b/src/tools/clippy/tests/ui/crashes/third-party/clippy.toml new file mode 100644 index 000000000..9f87de20b --- /dev/null +++ b/src/tools/clippy/tests/ui/crashes/third-party/clippy.toml @@ -0,0 +1,3 @@ +# this is ignored by Clippy, but allowed for other tools like clippy-service +[third-party] +clippy-feature = "nightly" |