diff options
| author | Paul Joannon <hello@pauljoannon.com> | 2023-01-25 11:51:07 +0100 |
|---|---|---|
| committer | Paul Joannon <hello@pauljoannon.com> | 2023-02-07 16:48:18 +0100 |
| commit | e51a20b7147fabe224a184e01d1c0b65e3dbaea8 (patch) | |
| tree | 962d1c10dca8a6a13b247240977bfda60a89f46c /editor | |
| parent | bdad9770d64914da3b77bee49916419b5df87d1c (diff) | |
Rename existing editor settings `mono` -> `dotnet`
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions