From b8881057b64c6d0eedcfa2b07c138908ef2b6f76 Mon Sep 17 00:00:00 2001 From: Marius Peter Date: Thu, 2 Jul 2026 17:54:07 +0200 Subject: Add tests. --- .proverc | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 .proverc (limited to '.proverc') diff --git a/.proverc b/.proverc new file mode 100644 index 0000000..cd16c45 --- /dev/null +++ b/.proverc @@ -0,0 +1,2 @@ +# .proverc +-j 9 -- cgit v1.2.3