Index of /dev/freeciv

	Name	Last modified	Size	Description
	Parent Directory		-
	PR1266.sav.gz	2002-02-19 21:42	49K
	README	2002-02-09 12:52	231
	TODO	2002-03-03 18:24	5.4K
	ai-dontsellupkeep0.diff	2001-11-25 14:53	1.4K
	aicleanup-exploring.diff	2001-11-24 22:21	13K
	aicleanup-selling.diff	2001-11-24 20:39	1.1K
	aicleanupv2+pasky.diff	2001-11-24 11:35	30K
	better_ai_hate.patch	2006-09-03 15:47	2.4K
	dynamic_size_penalty.patch	2006-09-03 15:24	9.2K
	freeciv-1.12.0+aicleanup.diff.bz2	2001-12-03 16:08	60K
	freeciv-1.12.0+aicleanup.diff.gz	2001-12-03 16:08	74K
	gameover-gamelog.diff	2001-11-25 14:51	406
	gameover-quit.diff	2001-11-25 14:51	885
	savepalace.diff	2001-11-26 16:03	4.5K
	threshold-comment.diff	2001-11-25 21:16	1.1K
	use_ai_improvement_decisions.patch	2006-09-03 15:25	1.7K