Index of /dev/freeciv

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