Menu

Commit [r5484]  Maximize  Restore  History

fix build-dist to copy jar files to the appropriate place

vincent_cave 2012-03-13

changed /branches/drjava-hj/build-dist.sh
/branches/drjava-hj/build-dist.sh Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB