Missing project description for two sub-modules (#3528)

wadoon · web-flow · commit ff9c793932b3 · 2024-11-21T15:17:10.000Z
diff --git a/keyext.caching/build.gradle b/keyext.caching/build.gradle
@@ -1,3 +1,5 @@
+description "Caching of provable nodes to make proving with KeY faster."
+
 dependencies {
     implementation project(":key.core")
     implementation project(":key.ui")
diff --git a/keyext.slicing/build.gradle b/keyext.slicing/build.gradle
@@ -1,3 +1,6 @@
+description "Proof slicing (removing of unnecessary nodes) for the KeY system."
+
+
 dependencies {
     implementation project(":key.core")
     implementation project(":key.ui")

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+description "Caching of provable nodes to make proving with KeY faster."`
	`2`	`+`
`1`	`3`	`dependencies {`
`2`	`4`	`implementation project(":key.core")`
`3`	`5`	`implementation project(":key.ui")`