Follow-up Comment #5, patch #1297 (project freeciv):
the ignore command could be extended as followed:
* ignore player add <player>
* ignore player del <player>
* ignore [address|hostname|username] add <pattern>
* ignore [address|hostname|username] del <pattern id>
* ignore list
player: can be used to ignore a player independent of the nick / connection
used
[address|hostname|username]: ignore one pattern of the corresponding type
_______________________________________________________
Reply to this item at:
<http://gna.org/patch/?1297>
_______________________________________________
Nachricht geschickt von/durch Gna!
http://gna.org/
_______________________________________________
Freeciv-dev mailing list
[email protected]
https://mail.gna.org/listinfo/freeciv-dev
