1. 2001-04-30 Re: How to change ximian display manager? gnome Guillermo S. Romer 2. 2001-04-30 Re: How to change ximian display manager? gnome Guillermo S. Romer 3. 2001-04-30 How to change ximian display manager? gnome John P. Verel