[Freeciv-Dev] [patch #4727] Rename 'player_research' to 'research'

2014-05-29 Thread pepeto
Follow-up Comment #1, patch #4727 (project freeciv):

Patch updated against current trunk.

(file #20848)
___

Additional Item Attachment:

File name: rename_player_research2.patch.gz Size:12 KB


___

Reply to this item at:

  http://gna.org/patch/?4727

___
  Message sent via/by Gna!
  http://gna.org/


___
Freeciv-dev mailing list
Freeciv-dev@gna.org
https://mail.gna.org/listinfo/freeciv-dev


[Freeciv-Dev] [patch #4727] Rename 'player_research' to 'research'

2014-05-28 Thread pepeto
URL:
  http://gna.org/patch/?4727

 Summary: Rename 'player_research' to 'research'
 Project: Freeciv
Submitted by: pepeto
Submitted on: Thu 29 May 2014 12:05:14 AM CEST
Category: general
Priority: 5 - Normal
  Status: Ready For Test
 Privacy: Public
 Assigned to: pepeto
Originator Email: 
 Open/Closed: Open
 Discussion Lock: Any
 Planned Release: 2.6.0

___

Details:

Because the research may be shared by many players, renames 'player_research'
to 'research'. Not it also reduces the character number of the namespace.




___

File Attachments:


---
Date: Thu 29 May 2014 12:05:14 AM CEST  Name: rename_player_research.patch.gz 
Size: 13kB   By: pepeto

http://gna.org/patch/download.php?file_id=20830

___

Reply to this item at:

  http://gna.org/patch/?4727

___
  Message sent via/by Gna!
  http://gna.org/


___
Freeciv-dev mailing list
Freeciv-dev@gna.org
https://mail.gna.org/listinfo/freeciv-dev