Follow-up Comment #4, bug #16079 (project freeciv): > Probably 'civmanual' should be changed as well? This happened in patch #1756.
>> Is '.civserver_history' still in use? > Yes, nobody has remembered its existence before now. But now > that you reminded about it, it will be soon renamed (in trunk). This happened in patch #1820. There are still references to civserver etc around. Plenty in doc/README for instance (probably the whole of doc/ needs reviewing). _______________________________________________________ Reply to this item at: <http://gna.org/bugs/?16079> _______________________________________________ Message sent via/by Gna! http://gna.org/ _______________________________________________ Freeciv-dev mailing list Freecivfirstname.lastname@example.org https://mail.gna.org/listinfo/freeciv-dev