some clean-up

This commit is contained in:
2022-07-18 16:09:30 +02:00
parent 51e80045d0
commit 87f9e858fb

View File

@@ -18,7 +18,7 @@
"type": "cmd",
"text": "StripTool",
"command": "jStripTool"
}
},
{
"type": "separator"
},