From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Wed, 6 Oct 2010 17:35:10 +0000 (-0500)
Subject: removed redundant FILE option
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=4302c7fffd55be5e719c003a3f8ff519d59e9962

removed redundant FILE option

Conflicts:

	Kconfig
---

diff --git a/Kconfig b/Kconfig
index 0e87296..c4aacfb 100644
--- a/Kconfig
+++ b/Kconfig
@@ -96,7 +96,6 @@ config CONSOLE
 	  Select this if you want to forward a guest console interface to some host OS service
 
 
-
 config SOCKET
 	bool "Host support for Network Sockets"
 	default y