fix scala-typed-holes

SethTisue · SethTisue · commit 6547d0ca799b · 2024-12-16T21:32:47.000-08:00
diff --git a/proj/scala-typed-holes.conf b/proj/scala-typed-holes.conf
@@ -4,5 +4,5 @@ vars.proj.scala-typed-holes: ${vars.base} {
   name: "scala-typed-holes"
   uri: "https://github.com/cb372/scala-typed-holes.git#7caebf1b43d5dd993df2f5eb20071bb1c6467588"
 
-  extra.exclude: ["docs"]
+  extra.exclude: ["docs", "*-3"]
 }

Original file line number	Diff line number	Diff line change
`@@ -4,5 +4,5 @@ vars.proj.scala-typed-holes: ${vars.base} {`
`4`	`4`	`name: "scala-typed-holes"`
`5`	`5`	`uri: "https://github.com/cb372/scala-typed-holes.git#7caebf1b43d5dd993df2f5eb20071bb1c6467588"`
`6`	`6`
`7`		`- extra.exclude: ["docs"]`
	`7`	`+ extra.exclude: ["docs", "*-3"]`
`8`	`8`	`}`