Disable dune on intf_of_sign

ml-in-barcelona · Jun 26, 2023 · d1ef669 · d1ef669
1 parent 08a554c
commit d1ef669
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/lib/intf_of_sign/dune → lib/intf_of_sign/_dune b/lib/intf_of_sign/dune → lib/intf_of_sign/_dune