On 24 May 2010 13:09, Minh Nguyen wrote:
> Hi David,
>
> On Mon, May 24, 2010 at 10:06 PM, David Kirkby
> wrote:
>> Does anyone know whether the files in the 'dist' directory should be
>> checked in, removed, or whatever else from the 'flintqs-20070817.p4'
>> package?
>
> The directory dist/ of
Hi David,
On Mon, May 24, 2010 at 10:06 PM, David Kirkby wrote:
> Does anyone know whether the files in the 'dist' directory should be
> checked in, removed, or whatever else from the 'flintqs-20070817.p4'
> package?
The directory dist/ of all spkg's should be removed. Ticket #5903
http://trac.
Does anyone know whether the files in the 'dist' directory should be
checked in, removed, or whatever else from the 'flintqs-20070817.p4'
package?
drkir...@hawk:~/sage-4.4.2/spkg/standard/flintqs-20070817.p4$ hg status
? ._.hg
? ._.hgignore
? ._SPKG.txt
? ._dist
? ._patches
? ._spkg-install
? ._sr
