some minor reformatting and improvements

svn: r9075
This commit is contained in:
Eli Barzilay 2008-03-24 10:14:02 +00:00
parent 473136e8b1
commit f94acb09d5

File diff suppressed because it is too large Load Diff