Public Git Hosting - freeciv.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 4d7f107) | patch

commit	2ca1e4526aeffdc6d9a60d5a2e0a36593a0b8a69
author	sveinung <sveinung@a0f10bec-cc02-0410-94fc-a9cfff90b4cd>
	Wed, 12 Apr 2017 13:54:12 +0000 (12 13:54 +0000)
committer	sveinung <sveinung@a0f10bec-cc02-0410-94fc-a9cfff90b4cd>
	Wed, 12 Apr 2017 13:54:12 +0000 (12 13:54 +0000)
tree	2c0930b01ac8e2e675ceb4676bdb3a19b37f6e0c	tree \| snapshot (tar.gz zip)
parent	4d7f107374b1597a0efd9fbeeea040307f969388	commit \| diff

Count the number of server setting types.

See hrm Feature #651514

git-svn-id: svn://svn.gna.org/svn/freeciv/trunk@35235 a0f10bec-cc02-0410-94fc-a9cfff90b4cd

common/server_settings.h		diff \| blob \| blame \| history
server/settings.c		diff \| blob \| blame \| history
server/stdinhand.c		diff \| blob \| blame \| history
tools/civmanual.c		diff \| blob \| blame \| history
tools/ruleutil/rulesave.c		diff \| blob \| blame \| history

'Cause Civilization should be free!