X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=730591692be5a25dda53bb784dc209d4b9b427aa;hp=941b8bd2a2c917244c583bbc5410cdb73152323e;hb=32501dbbf4440ce0eb5ba205b6855840e32ed638;hpb=626595465a2c6987606a6bc697df65130ad8c2d3

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 941b8bd..7305916 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -1,6 +1,6 @@
 # Makefile for GeekOS kernel, userspace, and tools
 # Copyright (c) 2004,2005 David H. Hovemeyer <daveho@cs.umd.edu>
-# $Revision: 1.1 $
+# $Revision: 1.1.1.1 $
 
 # This is free software.  You are permitted to use,
 # redistribute, and modify it as specified in the file "COPYING".