Wed, 12 Mar 2008 14:51:52 +0100 | greg | change splash.Hide() with splash.Close() | changeset | files |
Wed, 12 Mar 2008 13:32:14 +0100 | greg | remove double copyright and version | changeset | files |
Wed, 12 Mar 2008 13:29:39 +0100 | greg | new manual version | changeset | files |
Tue, 11 Mar 2008 12:44:02 +0100 | greg | fixed short process wainting bug. Seems wait() fail when process already finisshed... TO BE CONFIRMED. | changeset | files |