jenz d89ce6f0fd 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