Stefano Pigozzi 0d8e7eee43 Use debug console (again) instead of a terminal		2022-06-07 12:21:31 +02:00
..
launch.json	Use debug console (again) instead of a terminal	2022-06-07 12:21:31 +02:00
settings.json	I actually made a lot of stuff without committing	2022-05-24 12:08:02 +02:00
tasks.json	Improve development environment	2022-06-02 17:03:28 +02:00