proper order for entry list cons;
authorwenzelm
Wed May 17 11:12:19 2017 +0200 (2017-05-17)
changeset 65849d70d2d68f7f0
parent 65848 861a3ee712dd
child 65850 5414c14c3984
proper order for entry list cons;
src/Pure/Admin/build_status.scala
     1.1 --- a/src/Pure/Admin/build_status.scala	Wed May 17 10:49:19 2017 +0200
     1.2 +++ b/src/Pure/Admin/build_status.scala	Wed May 17 11:12:19 2017 +0200
     1.3 @@ -37,7 +37,7 @@
     1.4            (if (only_sessions.isEmpty) ""
     1.5             else " AND " + SQL.member(Build_Log.Data.session_name.ident, only_sessions)) +
     1.6            " AND " + SQL.enclose(sql) +
     1.7 -          " ORDER BY " + Build_Log.Data.pull_date + " DESC")
     1.8 +          " ORDER BY " + Build_Log.Data.pull_date)
     1.9      }
    1.10    }
    1.11