Follow-up Comment #7, patch #2184 (project freeciv): > In a future ticket we should change the names of the options saved to savegame3.c
-> patch #7585 _______________________________________________________ Reply to this item at: <http://gna.org/patch/?2184> _______________________________________________ Message sent via/by Gna! http://gna.org/ _______________________________________________ Freeciv-dev mailing list Freeciv-dev@gna.org https://mail.gna.org/listinfo/freeciv-dev