diff options
Diffstat (limited to 'subprojects')
| -rw-r--r-- | subprojects/rapidcheck.wrap | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/subprojects/rapidcheck.wrap b/subprojects/rapidcheck.wrap new file mode 100644 index 0000000..bdd4274 --- /dev/null +++ b/subprojects/rapidcheck.wrap @@ -0,0 +1,4 @@ +[wrap-git] +url = https://github.com/emil-e/rapidcheck.git +revision = 6e8dadfdafa3a74eabb52ead87f8787f72eccd0b +clone-recursive = true |