Admin/components/main
changeset 51503 5247f5cd68fd
parent 51431 9d3ba9775988
child 51776 8ea64fb16bae
     1.1 --- a/Admin/components/main	Sun Mar 24 14:26:10 2013 +0100
     1.2 +++ b/Admin/components/main	Sun Mar 24 16:10:19 2013 +0100
     1.3 @@ -11,3 +11,4 @@
     1.4  scala-2.10.1
     1.5  spass-3.8ds
     1.6  z3-3.2
     1.7 +xz-java-1.2