[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.3.0 : Thu Aug 22 2019 - 09:15:17 CEST