[Freeciv-Dev] Re: (PR#9637) Ocean numbers
[Top] [All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index] [Thread Index]
<URL: http://rt.freeciv.org/Ticket/Display.html?id=9637 >
On Sat, 14 Aug 2004, Gregory Berkolaiko wrote:
>
> With lots of work I found the divergence point. But at least this time
> it was useful -- it was a bug. A patch fixing this is attached.
The patch is slightly wrong (I was in a great hurry), the second added
line should have ! before is_ocean
- [Freeciv-Dev] Re: (PR#9637) Ocean numbers, (continued)
- [Freeciv-Dev] Re: (PR#9637) Ocean numbers, Jason Short, 2004/08/12
- [Freeciv-Dev] Re: (PR#9637) Ocean numbers, Marcelo Burda, 2004/08/13
- [Freeciv-Dev] Re: (PR#9637) Ocean numbers, Marcelo Burda, 2004/08/13
- [Freeciv-Dev] (PR#9637) Ocean numbers, Marcelo Burda, 2004/08/13
- [Freeciv-Dev] (PR#9637) Ocean numbers, Marcelo Burda, 2004/08/13
- [Freeciv-Dev] Re: (PR#9637) Ocean numbers, Gregory Berkolaiko, 2004/08/13
- [Freeciv-Dev] Re: (PR#9637) Ocean numbers, Marcelo Burda, 2004/08/13
- [Freeciv-Dev] (PR#9637) Ocean numbers, Gregory Berkolaiko, 2004/08/13
- [Freeciv-Dev] Re: (PR#9637) Ocean numbers, Jason Short, 2004/08/13
- [Freeciv-Dev] (PR#9637) Ocean numbers, Gregory Berkolaiko, 2004/08/14
- [Freeciv-Dev] Re: (PR#9637) Ocean numbers,
Gregory Berkolaiko <=
|
|