Revision 5ea9f6cb
| ID | 5ea9f6cb844b1fb8c329d08eca2a63d5a836dd1f |
| Parent | d8adc255 |
| Child | dde8b625 |
Add a newtype wrapper that saves ClockTime as JSON double
This allows to convert ClockTime to JSON and back.
Signed-off-by: Petr Pudlak <pudlak@google.com>
Reviewed-by: Klaus Aehlig <aehlig@google.com>
Files
- added
- modified
- copied
- renamed
- deleted