refactor: reorder clippy valid idents list

Co-authored-by: Christoph Jabs <98587286+chrjabs@users.noreply.github.com>
chrjabs · Jul 4, 2024 · 25bea4d · 25bea4d
1 parent adbe43e
commit 25bea4d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/clippy.toml b/clippy.toml
@@ -1,2 +1,2 @@
-doc-valid-idents = ["RustSAT", "CaDiCaL", "MaxSAT", "..", "BatSat"]
+doc-valid-idents = ["RustSAT", "CaDiCaL", "MaxSAT", "BatSat", ".."]
 avoid-breaking-exported-api = false