« Previous | Next » 

Revision 5ea9f6cb

ID5ea9f6cb844b1fb8c329d08eca2a63d5a836dd1f
Parent d8adc255
Child dde8b625

Added by Petr Pudlak almost 7 years ago

Add a newtype wrapper that saves ClockTime as JSON double

This allows to convert ClockTime to JSON and back.

Signed-off-by: Petr Pudlak <>
Reviewed-by: Klaus Aehlig <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences