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

Reply via email to