Removed subprojects from settings.gradle

ftsrg · Jan 7, 2024 · 17be7fe · 17be7fe
1 parent 3388c76
commit 17be7fe
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/settings.gradle.kts b/settings.gradle.kts
@@ -35,13 +35,11 @@ include(
 
     "xcfa/xcfa",
     "xcfa/cat",
-    "xcfa/exec-graph-cli",
     "xcfa/c2xcfa",
     "xcfa/litmus2xcfa",
     "xcfa/llvm2xcfa",
     "xcfa/xcfa-analysis",
     "xcfa/xcfa-cli",
-    "xcfa/litmus-cli",
 
     "xta/xta",
     "xta/xta-analysis",