« Previous | Next » 

Revision ab51f0a6

IDab51f0a6435768aaabdec5df58f95bc4f01657a0
Parent 804f7a84
Child ae842349

Added by Javi Fontan over 7 years ago

bug #1841: remove checkpoint file after restore
(cherry picked from commit bb342a129734d8e108b406ee4982ba9f197e73c1)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences