remove unneeded log (#13456)

This commit is contained in:
Tommaso Sciortino
2025-11-19 15:42:21 -08:00
committed by GitHub
parent e4c4bb265e
commit d0a845b6e6

View File

@@ -69,8 +69,6 @@ export function useIncludeDirsTrust(
return;
}
console.log('Inside useIncludeDirsTrust');
// If folder trust is disabled, isTrustedFolder will be undefined.
// In that case, or if the user decided not to trust the main folder,
// we can just add the directories without checking them.