Landing a fix for a case where the animation timer wasn't getting stopped (thanks...
[jquery.git] / src / intro.js
index f286767..893df92 100644 (file)
@@ -10,3 +10,4 @@
  * Revision: 
  */
 (function(){
+