Merge changes that existed in branch concerning slicefamily w/ trunk.
authorFaiyaz Ahmed <faiyaza@cs.princeton.edu>
Tue, 25 Nov 2008 19:30:43 +0000 (19:30 +0000)
committerFaiyaz Ahmed <faiyaza@cs.princeton.edu>
Tue, 25 Nov 2008 19:30:43 +0000 (19:30 +0000)
commitf17e0c96b72305cb80958022820f405973375358
tree9cd69fc7aae429e712961a4f570299958dd65036
parent4f04767359981da2906f6c4a0315e5da147db3bf
Merge changes that existed in branch concerning slicefamily w/ trunk.
Also changed logging in 1.7 branch to be less noisey.
Removed support for proper.
conf_files.py