update checkpoints

This commit is contained in:
Riccardo Spagni 2018-05-23 21:16:57 +02:00
parent 6715c90667
commit 45975fd8eb
2 changed files with 1 additions and 1 deletions

Binary file not shown.