Commit History

Author SHA1 Message Date
  Christian Grothoff 7dfd634b17 add units to time, use configuration time api where appropriate, fixing Mantis #1875 13 years ago
  Christian Grothoff 29c724d2a7 implementing #1747 13 years ago