html5/markup/js jump-indexes.js,1.15,1.16

Update of /sources/public/html5/markup/js
In directory hutz:/tmp/cvs-serv22122/js

Modified Files:
	jump-indexes.js 
Log Message:
removed debugging kruft


Index: jump-indexes.js
===================================================================
RCS file: /sources/public/html5/markup/js/jump-indexes.js,v
retrieving revision 1.15
retrieving revision 1.16
diff -u -d -r1.15 -r1.16
--- jump-indexes.js	8 May 2011 12:43:56 -0000	1.15
+++ jump-indexes.js	9 May 2011 06:07:44 -0000	1.16
@@ -15,7 +15,6 @@
   if ((key === 32 || key === 13) && !jumpIndexA) {
     window.showjumpIndexA(e);
     if (e.target.id === "jumpIndexA-button") {
-      console.log("FOO");
       e.preventDefault();
       e.stopPropagation();
       e.returnValue = false;

Received on Monday, 9 May 2011 06:07:47 UTC