From d9c67c8021c65c76aa0fac9ef69b7bda114ad34d Mon Sep 17 00:00:00 2001
From: Mitch Denny <mitch@mitchdenny.com>
Date: Sun, 15 Nov 2015 14:34:06 +1100
Subject: [PATCH] Cleaned up another bit of mess in the manifest.

---
 package.json | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/package.json b/package.json
index 3e5576f..d43db1e 100644
--- a/package.json
+++ b/package.json
@@ -32,10 +32,6 @@
   "main": "./out/extension",
   "contributes": {
     "commands": [
-      {
-        "command": "extension.selectionProblem",
-        "title": "Selection Problem"
-      },
       {
         "command": "extension.encodeSelection",
         "title": "Encode Selection"