crawljax/crawljax — pull request #342 by jeremyhewett (2013-09-20 18:14:05+00:00)
Title: Web ui plugin integration

Hi Alex, I've made some final changes to the web-ui. It is now ready to be merged with the stable branch and this branch can be removed.