Emery Hemingway ed89f2f7f0 Add millisecond accessor to Genode::Duration value object
Add a 'trunc_to_plain_ms' method to Gende::Duration to make
millisecond-accurate timing safer and more convenient.

Ref #2335
2017-12-21 15:01:51 +01:00
..
2017-05-31 13:16:07 +02:00
2017-03-24 16:19:56 +01:00
2017-05-31 13:16:21 +02:00
2017-05-31 13:16:07 +02:00
2017-05-31 13:16:07 +02:00
2017-06-19 12:35:57 +02:00
2017-05-31 13:16:21 +02:00
2017-11-30 11:23:10 +01:00