« Previous | Next » 

Revision 5ea9f6cb

Parent d8adc255
Child dde8b625

Added by Petr Pudlak over 10 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 <>


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences