changeset 69277 | 258bef08b31e |
parent 68018 | 3747fe57eb67 |
child 69693 | 06153e2e0cdb |
--- a/src/Pure/Admin/build_status.scala Sat Nov 10 07:57:20 2018 +0000 +++ b/src/Pure/Admin/build_status.scala Sat Nov 10 14:08:02 2018 +0100 @@ -591,6 +591,5 @@ build_status(options, progress = progress, only_sessions = only_sessions, verbose = verbose, target_dir = target_dir, ml_statistics = ml_statistics, image_size = image_size) - - }, admin = true) + }) }