Stefano Pigozzi 067f4d5414 Create a "Doc" runConfig		2024-08-19 04:52:41 +02:00
..
Clippy.xml	Update "Clippy" runConfig to match "Run"	2024-08-19 04:50:01 +02:00
Doc.xml	Create a "Doc" runConfig	2024-08-19 04:52:41 +02:00
Run.xml	Create a "Run" runConfig	2024-08-19 04:49:08 +02:00