diff options
Diffstat (limited to 'test/dune')
| -rw-r--r-- | test/dune | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,4 +2,4 @@ (test (name test_rnt) - (libraries rnt alcotest)) + (libraries rnt alcotest qcheck-core qcheck-alcotest batteries)) |
![]() |
index : RNT | |
| git repositories |
| aboutsummaryrefslogtreecommitdiffstats |