Changeset 54215

Timestamp:
Jun 22, 2009, 7:37:49 PM (13 years ago)
Author:
olli
Message:
  • default sorting order for priority-scheduling is std::greater<>
  • corrected tests
  • documentation updated
(No files)

Note: See TracChangeset for help on using the changeset viewer.