Complete.Org:
Mailing Lists:
Archives:
freeciv-dev:
September 2001: [Freeciv-Dev] Re: Unused field in move_cost_map removed. |
[Freeciv-Dev] Re: Unused field in move_cost_map removed.[Date Prev][Date Next][Thread Prev][Thread Next][Date Index] [Thread Index]
On Tue, Sep 18, 2001 at 08:54:24PM +0200, Raimar Falke wrote: > Also can you try the attached shell script? This gives at least for > me constant user times. Raimar -- email: rf13@xxxxxxxxxxxxxxxxx 1 + 1 = 3, for large values of 1
profile.sh
|