settings.c
changeset 3971 2116cd6db7fd
parent 3935 d0b7f6681727
child 3980 81b1f803d75d
--- a/settings.c	Mon Jun 05 18:00:37 2006 +0000
+++ b/settings.c	Mon Jun 05 18:10:43 2006 +0000
@@ -1755,4 +1755,3 @@
 	}
 	return false;
 }
-