Merge dd8e379 into b47bbe3

INRIA · Sep 28, 2022 · d0b7486 · d0b7486
2 parents b47bbe3 + dd8e379
commit d0b7486
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.lift.toml b/.lift.toml
@@ -0,0 +1 @@
+disableTools=['refactor-first']