« Previous | Next » 

Revision 74b3f734

ID74b3f7344a72c282592487bfe06521cad1a7a570
Parent 836ccf52
Child 78209a84

Added by Petr Pudlak almost 7 years ago

Use ClockTime instead of Double in fields in Objects.hs

This affects "mtime" and "ctime" fields in all data types.

This also forces explicit declaration of how the fields are serialized
in Query.

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences