Wed, 17 Nov 2010 11:24:07 +0100 | wenzelm | less parentheses, cf. Session.welcome; | changeset | files |
Tue, 16 Nov 2010 22:40:45 +0100 | wenzelm | avoid spam; | changeset | files |
Tue, 16 Nov 2010 22:13:54 +0100 | wenzelm | more robust determination of java executable; | changeset | files |
Tue, 16 Nov 2010 21:54:52 +0100 | wenzelm | init_component: require absolute path (when invoked by user scripts); | changeset | files |