scala-ide/docs — pull request #68 by huitseeker (2013-07-01 08:21:29+00:00)
Title: precisions on rewriting history

This is an oft-debated point that deserves more precisions. See, e.g.

https://github.com/scala-ide/scala-ide/pull/455