Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_status.scala
changeset 65849 d70d2d68f7f0
parent 65848 861a3ee712dd
child 65854 db070951dfee 
--- a/src/Pure/Admin/build_status.scala	Wed May 17 10:49:19 2017 +0200
+++ b/src/Pure/Admin/build_status.scala	Wed May 17 11:12:19 2017 +0200
@@ -37,7 +37,7 @@
           (if (only_sessions.isEmpty) ""
            else " AND " + SQL.member(Build_Log.Data.session_name.ident, only_sessions)) +
           " AND " + SQL.enclose(sql) +
-          " ORDER BY " + Build_Log.Data.pull_date + " DESC")
+          " ORDER BY " + Build_Log.Data.pull_date)
     }
   }
isabelle