2020-08-27 00:31:22 +02:00
|
|
|
void savefile(void);
|
2021-03-21 23:39:09 +01:00
|
|
|
int loadtime(int idlevel);
|
2020-08-27 00:31:22 +02:00
|
|
|
void restore(void);
|
2021-04-29 21:13:13 +02:00
|
|
|
<<<<<<< HEAD
|
2021-04-27 18:15:35 +02:00
|
|
|
void savetime(float framelevel, int id_level);
|
|
|
|
void reset_times();
|
2021-04-29 21:13:13 +02:00
|
|
|
=======
|
2020-08-27 00:31:22 +02:00
|
|
|
void savetimes(float framelevel, int id_level);
|
2021-04-29 21:13:13 +02:00
|
|
|
>>>>>>> dd8e25d259480e2e6761ff105d419e40e2382bda
|