From 9de378e9b0489775a41dedea085e9d77ca52e256 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Thu, 18 Jun 2020 15:02:43 +0200 Subject: Add initial Concuerror integration https://concuerror.com/ --- build.config | 1 + 1 file changed, 1 insertion(+) (limited to 'build.config') diff --git a/build.config b/build.config index bcf2b9a..a0ab7a7 100644 --- a/build.config +++ b/build.config @@ -22,6 +22,7 @@ plugins/asciidoc plugins/bootstrap plugins/c_src plugins/ci +plugins/concuerror plugins/ct plugins/dialyzer plugins/edoc -- cgit v1.2.3