j2blake 22300a5728 Update to the latest version of Selenium IDE.		2011-06-24 15:48:59 +00:00
..
how-to-create-firefox-profile.txt
ide-extensions.js
selenium-ide-1.0.12.xpi	Update to the latest version of Selenium IDE.	2011-06-24 15:48:59 +00:00
selenium-server.jar
user-extensions.js