diff options
| author | Marius Peter <dev@marius-peter.com> | 2026-07-02 17:54:07 +0200 |
|---|---|---|
| committer | Marius Peter <dev@marius-peter.com> | 2026-07-02 17:54:07 +0200 |
| commit | b8881057b64c6d0eedcfa2b07c138908ef2b6f76 (patch) | |
| tree | 630edefe5ea608494e4e6f9a10353df3d12c119e /.proverc | |
| parent | 2c3c8f12e45c60fe30589cea11f226d63bf35cb9 (diff) | |
Add tests.
Diffstat (limited to '.proverc')
| -rw-r--r-- | .proverc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.proverc b/.proverc new file mode 100644 index 0000000..cd16c45 --- /dev/null +++ b/.proverc @@ -0,0 +1,2 @@ +# .proverc +-j 9 |