2 commits

Author	SHA1	Message	Date
Nicolas Berbiche	44f9d68d8c	treewide: replace attrs by formats or types.anything	2020-11-29 21:54:55 -05:00
Christoph Herzog	1ed8e7ef98	vscode: add options for keybindings ... Adds a new `keybindings` option to the `vscode` configuration. It contains a list of key bindings, which will be written to `%vscode-dir%/User/keybindings.json`. PR #1351	2020-09-04 14:14:52 +02:00