delete unnecessary stuff (#338)
This commit is contained in:
committed by
Peter Zhokhov
parent
8e0282ee94
commit
f5daca8c22