From 79180d315f130fdb4700b2bfa52808414546b48e Mon Sep 17 00:00:00 2001
From: scribu <mail@scribu.net>
Date: Fri, 26 Apr 2013 21:27:09 +0300
Subject: [PATCH] remove unnecessary WP_CLI\Commands namespace

---
 php/commands/shell.php | 2 --
 1 file changed, 2 deletions(-)

diff --git a/php/commands/shell.php b/php/commands/shell.php
index 0f63833a..02daaed9 100644
--- a/php/commands/shell.php
+++ b/php/commands/shell.php
@@ -1,7 +1,5 @@
 <?php
 
-namespace WP_CLI\Commands;
-
 class Shell_Command extends \WP_CLI_Command {
 
 	/**
-- 
2.11.0