Skip to content

add support for include in datalog scanner#2270

Merged
b-scholz merged 1 commit intosouffle-lang:masterfrom quentin:includedirectiveMay 14, 2022

Commits

Commits on May 5, 2022