Make tidy happy

bjorn3 · bjorn3 · commit ce84f50e3c2c · 2025-01-23T17:06:20.000Z
diff --git a/library/coretests/lib.rs b/library/coretests/lib.rs
@@ -0,0 +1 @@
+// Intentionally left empty.
