Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Trac #34352: Add comma in vscode.json config file
There is a missing comma in `.vscode/setting.json`. URL: https://trac.sagemath.org/34352 Reported by: gh-DavidAyotte Ticket author(s): David Ayotte Reviewer(s): Matthias Koeppe
- Loading branch information