Remove barely useful devel.js

diff --git a/devel.js b/devel.js
deleted file mode 100644 (file)
index b9be300..0000000
--- a/devel.js
+++ /dev/null
@@ -1,12 +0,0 @@
-// $Id$
-
-    
-/**
-  *  @name    jQuery Logging plugin
-  *  @author  Dominic Mitchell
-  *  @url     http://happygiraffe.net/blog/archives/2007/09/26/jquery-logging
-  */
-jQuery.fn.log = function (msg) {
-    console.log("%s: %o", msg, this);
-    return this;
-};
\ No newline at end of file