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 |
Tue, 11 Mar 2008 10:42:26 +0100 | lbessard | Bug with Target Type modification fixed | changeset | files |