On Sun, Nov 14, 2010 at 3:15 PM, Dr. David Kirkby
wrote:
> On 11/14/10 08:51 PM, William Stein wrote:
>>
>> On Sun, Nov 14, 2010 at 5:00 AM, Jeroen Demeyer
>> wrote:
>>>
>>> Hello all,
>>>
>>> There is some work being done at #9418 at make GNU patch a standard
>>> package such that, in the future
On Sun, Nov 14, 2010 at 3:39 PM, Dan Drake wrote:
> On Sun, 14 Nov 2010 at 02:00PM +0100, Jeroen Demeyer wrote:
>> There is some work being done at #9418 at make GNU patch a standard
>> package such that, in the future, spkgs will be able to use "patch"
>> instead of "cp" to apply patches.
>>
>> I
On 11/14/10 11:39 PM, Dan Drake wrote:
On Sun, 14 Nov 2010 at 02:00PM +0100, Jeroen Demeyer wrote:
There is some work being done at #9418 at make GNU patch a standard
package such that, in the future, spkgs will be able to use "patch"
instead of "cp" to apply patches.
It is a very simple soluti
On Sun, 14 Nov 2010 at 02:00PM +0100, Jeroen Demeyer wrote:
> There is some work being done at #9418 at make GNU patch a standard
> package such that, in the future, spkgs will be able to use "patch"
> instead of "cp" to apply patches.
>
> It is a very simple solution which allows for:
> * patchin
On 11/14/10 08:51 PM, William Stein wrote:
On Sun, Nov 14, 2010 at 5:00 AM, Jeroen Demeyer wrote:
Hello all,
There is some work being done at #9418 at make GNU patch a standard
package such that, in the future, spkgs will be able to use "patch"
instead of "cp" to apply patches.
It is a very s
On Sun, Nov 14, 2010 at 5:00 AM, Jeroen Demeyer wrote:
> Hello all,
>
> There is some work being done at #9418 at make GNU patch a standard
> package such that, in the future, spkgs will be able to use "patch"
> instead of "cp" to apply patches.
>
> It is a very simple solution which allows for:
>