misc minor improvements

svn: r4490

original commit: 4e7be21178222d775a6282ab1e887cdb65093c26
This commit is contained in:
Eli Barzilay 2006-10-05 05:15:36 +00:00
parent ddd6157459
commit 016c4784ff

File diff suppressed because it is too large Load Diff