Tue, 11 Sep 2007 16:07:13 +0200 etisserant Disabled unused run/edit menu, fixed some event/refresh machanisms
Tue, 11 Sep 2007 15:10:56 +0200 greg CONFIG_UTILS (sync)
Tue, 11 Sep 2007 08:00:28 +0200 etisserant added sync option