Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Tools/VSCode/extension/.vscode/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 455 B image not shown  

Quelle  settings.json   Sprache: unbekannt

 
// Place your settings in this file to overwrite default and user settings.
{
    "files.exclude": {
        "out": false // set this to true to hide the "out" folder with the compiled JS files
    },
    "search.exclude": {
        "out": true // set this to false to include "out" folder in search results
    },
    "typescript.tsdk": "./node_modules/typescript/lib" // we want to use the TS server from our node_modules folder to control its version
}

[ Dauer der Verarbeitung: 0.28 Sekunden  (vorverarbeitet)  ]