AlexeyAB
2018-05-06 c9b8bdee1886df5f83973d91c3597c28f99a9e0c
src/utils.h
@@ -25,6 +25,7 @@
#endif
#endif
double what_time_is_it_now();
int *read_map(char *filename);
void shuffle(void *arr, size_t n, size_t size);
void sorta_shuffle(void *arr, size_t n, size_t size, size_t sections);