# This will destroy any local modifications.
# Don't do it if you have uncommitted work you want to keep.
git reset --hard 0d1d7fc32
# Alternatively, if there's work to keep:
git stash
git reset --hard 0d1d7fc32
git stash pop
J. Eisner, und G. Satta. Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics, Seite 457--464. Stroudsburg, PA, USA, Association for Computational Linguistics, (1999)