jenz 8cf6a98b26 added file for generating table with 5 best times from each map		2023-08-09 22:35:07 +02:00
..
generate_top_5_times_query.py	added file for generating table with 5 best times from each map	2023-08-09 22:35:07 +02:00