ports/62107: [patch] lang/xsb: Fix build (bento)

[Pav Lucistnik]

The following reply was made to PR ports/62107; it has been noted by GNATS.

From: Pav Lucistnik <pav at FreeBSD.org>
To: freebsd-gnats-submit at FreeBSD.org,
	stolz at i2.informatik.rwth-aachen.de
Cc:  
Subject: Re: ports/62107: [patch] lang/xsb: Fix build (bento)
Date: Fri, 30 Jan 2004 22:12:53 +0100

 Should we rather delete the .orig file after patching to prevent it's
 installation?
 
 -- 
 Pav Lucistnik <pav at oook.cz>
               <pav at FreeBSD.org>
 
 God is real unless declared integer.