shave off some redundancy

This commit is contained in:
tg 2012-01-14 19:20:17 +00:00
parent e538a90e57
commit 8b023994de

File diff suppressed because one or more lines are too long