crawljax/crawljax — pull request #403 by alexnederlof (2014-04-12 08:55:54+00:00)
Title: Removed unused configurations

The configurations were not used anywhere in the project. Removing them...