merge changes from head
authorMark Huang <mlhuang@cs.princeton.edu>
Wed, 7 Feb 2007 23:48:27 +0000 (23:48 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Wed, 7 Feb 2007 23:48:27 +0000 (23:48 +0000)
commita61d2551ff1fdb391f94f1a92eb55dc9202c7bd0
tree1db6ec37ff6e954559dcb676d24294eac50d79f0
parentfcdac915bb2b9552b7007c8a878a4fb3c5346ff9
merge changes from head
build.sh