[eclipse-clp-users] Reset Settings

From: Christian Wirth <tyrion_at_...215...>
Date: Tue, 13 Apr 2010 17:08:26 +0200
.. i set some stupid settings in the TkEclipse Preference Editor and now 
it's not starting anymore. Reinstall did not help,
so how can i reset/change the settings without getting into the Edtior ?

best regards Christian Wirth
Received on Tue Apr 13 2010 - 15:07:58 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST