2023-05-12 20:12:56 +02:00
|
|
|
{
|
|
|
|
"julia.environmentPath": "/home/hellmund/Julia/23",
|
|
|
|
"files.exclude": {
|
|
|
|
"**/.git": true,
|
|
|
|
"**/.svn": true,
|
|
|
|
"**/.hg": true,
|
|
|
|
"**/CVS": true,
|
|
|
|
"**/.DS_Store": true,
|
|
|
|
"**/Thumbs.db": true,
|
2024-02-21 18:02:17 +01:00
|
|
|
"**/*.ipynb": false,
|
2023-05-12 20:12:56 +02:00
|
|
|
"**/*.md": false
|
|
|
|
},
|
|
|
|
"explorerExclude.backup": {},
|
|
|
|
"ltex.enabled": false,
|
|
|
|
"ltex.language": "de-DE",
|
|
|
|
"ltex.markdown.nodes": {
|
|
|
|
"CodeBlock": "ignore",
|
|
|
|
"FencedCodeBlock": "ignore",
|
|
|
|
"AutoLink": "dummy",
|
|
|
|
"Code": "dummy"
|
|
|
|
}
|
|
|
|
}
|