> Gesendet: Samstag, 04. Februar 2017 um 11:46 Uhr
> Von: "Michael T. Pope"
> An: freecol-developers@lists.sourceforge.net
> Betreff: Re: [Freecol-developers] Git ignore fixes from Enrico Weigelt
>
> Fix on the way.
>
Shouldn
On Sat, 4 Feb 2017 11:20:31 +0100
Fenyo wrote:
> > Odd. It does not do so for me. I wonder if this is an ant variation. I
> > have:
> > % ant -version
> > Apache Ant(TM) version 1.9.6 compiled on February 3 2016
>
> Mine:
> Apache Ant version 1.8.0RC1 compiled on January 5 2010
>
> Strange.
Hi,
> Odd. It does not do so for me. I wonder if this is an ant variation. I
> have:
> % ant -version
> Apache Ant(TM) version 1.9.6 compiled on February 3 2016
Mine:
Apache Ant version 1.8.0RC1 compiled on January 5 2010
Strange. Can it really be a version issue?
If so, can we become better
On Thu, 2 Feb 2017 22:14:58 +0100
Fenyo wrote:
> I have just made an "ant clean", and it erased doc\.gitignore.
Odd. It does not do so for me. I wonder if this is an ant variation. I
have:
% ant -version
Apache Ant(TM) version 1.9.6 compiled on February 3 2016
Cheers,
Mike Pope
pgpVSpRbTwp
On 02.02.2017 22:14, Fenyo wrote:
Hi,
> I think we should either join the contents of the doc\.gitignore to
> \.gitignore (and delete doc\.gitignore)
> just like in the case of many other subfolders,
> or we should specify this new file in the build.xml to avoid cleaning it.
IMHO, we should tur
Hi folks,
I think we have a small glitch about the commit in the subject.
I have just made an "ant clean", and it erased doc\.gitignore.
And now the git asks me to put this to my commit or not. :)
I think we should either join the contents of the doc\.gitignore to \.gitignore
(and delete doc\.g