On Wed, Aug 17, 2005 at 04:57:35PM +0200, Oliver Wienand wrote: >Singular goes to /opt/Singular > >Is this choose of directory valid?
No. cgf
On Wed, Aug 17, 2005 at 04:57:35PM +0200, Oliver Wienand wrote: >Singular goes to /opt/Singular > >Is this choose of directory valid?
No. cgf