diff options
author | HeadAndToes <55713950+HeadAndToes@users.noreply.github.com> | 2022-07-19 16:42:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-19 16:42:27 +0200 |
commit | c4fd6a857d14abdcc91ce84237f542561520d15a (patch) | |
tree | 8465f77faf415379e84bd112e67cc4d27113201d /buch/papers/fm/.vscode/settings.json | |
parent | Korrektur Feedback (diff) | |
parent | makefile fix (diff) | |
download | SeminarSpezielleFunktionen-c4fd6a857d14abdcc91ce84237f542561520d15a.tar.gz SeminarSpezielleFunktionen-c4fd6a857d14abdcc91ce84237f542561520d15a.zip |
Merge branch 'AndreasFMueller:master' into master
Diffstat (limited to '')
-rw-r--r-- | buch/papers/fm/.vscode/settings.json | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/buch/papers/fm/.vscode/settings.json b/buch/papers/fm/.vscode/settings.json new file mode 100644 index 0000000..5125289 --- /dev/null +++ b/buch/papers/fm/.vscode/settings.json @@ -0,0 +1,3 @@ +{ + "notebook.cellFocusIndicator": "border" +}
\ No newline at end of file |