Rename px to pe... is this a good change?

1j01 · Jul 9, 2013 · 320f685 · 320f685
1 parent c078db3
commit 320f685
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/index.html b/index.html
@@ -26,7 +26,7 @@
 
 		<script src="aa.js"></script>
 		<script src="am.js"></script>
-		<script src="px.js"></script>
+		<script src="pe.js"></script>
 
 		<script src="room.js"></script>
 		<script src="u.js"></script>

diff --git a/px.js → pe.js b/px.js → pe.js
@@ -154,7 +154,6 @@ PixelEditor = function(gui, img, update){
 			}
 			pe.m.mouse.left=false;
 		}
-		console.log("I'm alive.");
 	};
 	pe.mousemove = function(e){
 		//setTimeout(function(){