gradle: cleanup after merge

arimer · arimer · commit 06e1d3bd1b31 · 2025-03-31T10:07:38.000+02:00
diff --git a/build.gradle b/build.gradle
@@ -307,15 +307,15 @@ modelcheck {
     maxHeap = "4G"
 }
 
-/*
+
 afterEvaluate {  project ->
     /*
     check.configure {
         dependsOn tasks.named('checkmodels')
     }
     */
 }
-*/
+
 
 checkmodels {
     dependsOn(resolveMps)

Original file line number	Diff line number	Diff line change
`@@ -307,15 +307,15 @@ modelcheck {`
`307`	`307`	`maxHeap = "4G"`
`308`	`308`	`}`
`309`	`309`
`310`		`-/*`
	`310`	`+`
`311`	`311`	`afterEvaluate { project ->`
`312`	`312`	`/*`
`313`	`313`	`check.configure {`
`314`	`314`	`dependsOn tasks.named('checkmodels')`
`315`	`315`	`}`
`316`	`316`	`*/`
`317`	`317`	`}`
`318`		`-*/`
	`318`	`+`
`319`	`319`
`320`	`320`	`checkmodels {`
`321`	`321`	`dependsOn(resolveMps)`