misc minor improvements

svn: r4490
This commit is contained in:
Eli Barzilay 2006-10-05 05:15:36 +00:00
parent 0fcdc0aedd
commit 4e7be21178

File diff suppressed because it is too large Load Diff