changeset 79536 | d39976404aa7 |
parent 78610 | fd1fec53665b |
child 79981 | bdea4eccd8d5 |
--- a/src/Pure/System/platform.scala Sat Jan 27 21:12:16 2024 +0100 +++ b/src/Pure/System/platform.scala Sat Jan 27 22:15:40 2024 +0100 @@ -25,7 +25,6 @@ else error("Failed to determine current platform family") object Family { - val list0: List[Family] = List(Family.linux, Family.windows, Family.macos) val list: List[Family] = List(Family.linux, Family.linux_arm, Family.windows, Family.macos) def unapply(name: String): Option[Family] =