merge changes to set_resources() from branch to trunk
authorMarc Fiuczynski <mef@cs.princeton.edu>
Mon, 17 Nov 2008 16:51:56 +0000 (16:51 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Mon, 17 Nov 2008 16:51:56 +0000 (16:51 +0000)
commit0d7ec054304ab476624fedcc4ac8309dd6591d8b
tree9d37f3f1f35298d8bfe09bfd2b1b01ff1ffc1a3a
parentc08013dc2fc32582e8636d84be3e2f68dafe11a0
merge changes to set_resources() from branch to trunk
sliver_vs.py