From ca2ed71805d8db6b03696f0338d14b417717bd35 Mon Sep 17 00:00:00 2001
From: sk89q <the.sk89q@gmail.com>
Date: Mon, 18 Oct 2010 10:56:09 -0700
Subject: [PATCH] Changed super pickaxe command to //.

---
 src/WorldEdit.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/WorldEdit.java b/src/WorldEdit.java
index c65874dc5..df03771cf 100644
--- a/src/WorldEdit.java
+++ b/src/WorldEdit.java
@@ -115,7 +115,7 @@ public class WorldEdit {
         commands.put("/toggleplace", "Toggle placing at pos #1");
         commands.put("//wand", "Gives you the \"edit wand\"");
         commands.put("/toggleeditwand", "Toggles edit wand selection");
-        commands.put("/,", "Toggles super pick axe.");
+        commands.put("//", "Toggles super pick axe.");
         commands.put("//undo", "Undo");
         commands.put("//redo", "Redo");
         commands.put("/clearhistory", "Clear history");
@@ -347,7 +347,7 @@ public class WorldEdit {
             return true;
 
         // Toggle super pick axe
-        } else if (split[0].equalsIgnoreCase("/,")) {
+        } else if (split[0].equalsIgnoreCase("//")) {
             checkArgs(split, 0, 0, split[0]);
             if (session.toggleSuperPickAxe()) {
                 player.print("Super pick axe enabled.");