diff --git a/dfyconfig.toml b/dfyconfig.toml new file mode 100644 index 0000000..862ad43 --- /dev/null +++ b/dfyconfig.toml @@ -0,0 +1 @@ +includes = ["src/**/*.dfy"]