Revision bb342a12
ID | bb342a129734d8e108b406ee4982ba9f197e73c1 |
Parent | 76164fa1 |
Child | 0635dce7 |
bug #1841: remove checkpoint file after restore
Files
- added
- modified
- copied
- renamed
- deleted
ID | bb342a129734d8e108b406ee4982ba9f197e73c1 |
Parent | 76164fa1 |
Child | 0635dce7 |
Added by Javi Fontan almost 8 years ago
bug #1841: remove checkpoint file after restore