Closed GoogleCodeExporter closed 8 years ago
The deploy script should be updated so that any given version of ProveIt can be deployed, not just the latest one.
Original issue reported on code.google.com by kurt.luther on 26 Oct 2010 at 7:50
kurt.luther
Fixed in ce914, and used for a deployment.
Original comment by matthew....@gatech.edu on 27 Oct 2010 at 2:18
matthew....@gatech.edu
Original issue reported on code.google.com by
kurt.luther
on 26 Oct 2010 at 7:50