« Previous | Next » 

Revision bb342a12

IDbb342a129734d8e108b406ee4982ba9f197e73c1
Parent 76164fa1
Child 0635dce7

Added by Javi Fontan almost 8 years ago

bug #1841: remove checkpoint file after restore

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences