Remove an unused part

This commit is contained in:
David committed 2012-08-26 16:10:51 +00:00
1 parent 18fc416d31
commit 39e86fd5b0
1 file changed