gdamms 15c96590e3 feat: launch eratosthene		2022-01-18 16:20:55 +01:00
..
launch.json	feat: launch eratosthene	2022-01-18 16:20:55 +01:00
settings.json	feat: multiple seachers + clean end for Manager	2021-12-29 18:08:52 +01:00