diff --git a/domci.ini b/domci.ini new file mode 100644 index 0000000..3f5c1fd --- /dev/null +++ b/domci.ini @@ -0,0 +1,5 @@ +[general] + +[skippedDirs] +dir[] = "./test/*" +dir[] = "./Tests/*"