src/Pure/System/linux.scala
changeset 72494 ef2082c41cd0
parent 71726 a5fda30edae2
child 72521 354bfab78cbf
--- a/src/Pure/System/linux.scala	Sat Oct 17 18:36:08 2020 +0100
+++ b/src/Pure/System/linux.scala	Sun Oct 18 13:10:09 2020 +0200
@@ -12,11 +12,6 @@
 
 object Linux
 {
-  /* required packages */
-
-  val packages: List[String] = List("pwgen")
-
-
   /* check system */
 
   def check_system(): Unit =