[Freeciv-Dev] Re: patch: cmd_end_game

[Daniel Sjölie <deepone@xxxxxxxxxx>]

On 2000-08-18 13:42:30, Reinier Post wrote:
> On Fri, Aug 18, 2000 at 01:24:24PM +0200, Daniel Sjölie wrote:
> (the patch adds an /end command)
> 
> Actually, I have a comment: could you rename it to /endgame ?
> That way the name is more descriptive, while /end will still work.

Sure thing...
Seems the patch was commited anyway, only there was no entry for it in
help listing of commands... This little patch fixes that and renames the
command to endgame...

/Daniel

-- 
Now take a deep breath, smile and don't take life so seriously... :)

cmd_end_game3.diff
Description: Text document