chiark / gitweb /
Suppress unknown lints wip.clippy
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 4 Feb 2024 18:37:13 +0000 (18:37 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 4 Feb 2024 18:37:13 +0000 (18:37 +0000)
commit702f9fb3aeca5caad1d58b72ba4ee57798aada71
tree77aaa8425a4da56a86a6264ae010a8ee0f7a9cda
parent84dad3ad02bbd6f1d8aa23fbcd4cbf35bddd4bfc
Suppress unknown lints
src/main.rs