push-yrukqqxpolnk #3

Merged
eric merged 3 commits from push-yrukqqxpolnk into main 2025-09-07 15:20:45 +02:00
Showing only changes of commit 114fadbd4b - Show all commits

View File

@@ -1,3 +1,4 @@
{
"makefile.configureOnOpen": false
"makefile.configureOnOpen": false,
"git.enabled": false
}