Removed unneeded dump from Git repository.

This commit is contained in:
Manuel Rego Casasnovas 2011-02-24 09:36:22 +01:00
parent 4dd213706d
commit 7c4d2d8522