« Previous | Next » 

Revision 7a422473

ID7a4224739e0419338bc2a8b168d120da8a5f055f
Parent 57c59b8f
Child 7c1401a8

Added by Javi Fontan about 9 years ago

bug #1175: move old checkpoint files before save action
(cherry picked from commit d5ef946230c2ab411af0dd8e32955abdd7ccc0de)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences