diff -r 8e67c9f6da51 -r 2ab67fa1e78d .settings/org.eclipse.ltk.core.refactoring.prefs
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.settings/org.eclipse.ltk.core.refactoring.prefs	Thu Aug 16 14:14:09 2012 +0200
@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+org.eclipse.ltk.core.refactoring.enable.project.refactoring.history=false