search

overturetool / vdm-vscode

Visual Studio Code extension for VDM language support
GNU General Public License v3.0
21 stars 6 forks source link

Group settings #173

Closed FrederikPM closed 2 years ago

FrederikPM commented 2 years ago

Group VDM settings into the following sub-menus:

Closes #145