mozilla/dxr — pull request #66 by erikrose (2013-01-11 22:43:16+00:00)
Title: Vagrant destroy

Destroy the vagrant box at the end of each Jenkins run.