Thu, 20 Feb 2003 17:27:57 +0100 initial checkin
penk [Thu, 20 Feb 2003 17:27:57 +0100] rev 4580
initial checkin
Thu, 20 Feb 2003 17:27:47 +0100 removed container
penk [Thu, 20 Feb 2003 17:27:47 +0100] rev 4579
removed container
Thu, 20 Feb 2003 17:24:16 +0100 *** empty log message ***
Claus Gittinger <cg@exept.de> [Thu, 20 Feb 2003 17:24:16 +0100] rev 4578
*** empty log message ***
Thu, 20 Feb 2003 17:14:27 +0100 *** empty log message ***
penk [Thu, 20 Feb 2003 17:14:27 +0100] rev 4577
*** empty log message ***
Thu, 20 Feb 2003 15:28:28 +0100 now the dead processes are gone if collect garbage will pressed in
penk [Thu, 20 Feb 2003 15:28:28 +0100] rev 4576
now the dead processes are gone if collect garbage will pressed in Launcher, some dead Processes not gone but that is because of the window group any where
Thu, 20 Feb 2003 13:48:59 +0100 *** empty log message ***
Claus Gittinger <cg@exept.de> [Thu, 20 Feb 2003 13:48:59 +0100] rev 4575
*** empty log message ***
Thu, 20 Feb 2003 13:43:41 +0100 *** empty log message ***
Claus Gittinger <cg@exept.de> [Thu, 20 Feb 2003 13:43:41 +0100] rev 4574
*** empty log message ***
Thu, 20 Feb 2003 13:37:05 +0100 *** empty log message ***
Claus Gittinger <cg@exept.de> [Thu, 20 Feb 2003 13:37:05 +0100] rev 4573
*** empty log message ***
Thu, 20 Feb 2003 10:44:52 +0100 + rename tab
Claus Gittinger <cg@exept.de> [Thu, 20 Feb 2003 10:44:52 +0100] rev 4572
+ rename tab
Thu, 20 Feb 2003 10:44:35 +0100 checkin from browser
Claus Gittinger <cg@exept.de> [Thu, 20 Feb 2003 10:44:35 +0100] rev 4571
checkin from browser
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip