« Previous | Next » 

Revision ed7f7fd9

IDed7f7fd943060252eabb8daaa5ad62a4997398d1
Parent 78209a84
Child 06455b13

Added by Petr Pudlak over 10 years ago

Update set_watcher_pause to use ClockTime instead of Double

This only affects the internal representation in the Haskell part.

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences