html updates + version number 1.1.1pre
[debian/openrocket] / core / .settings / org.eclipse.jdt.core.prefs