X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fvmboot%2Fvgabios%2Fvgabios.c;h=7f451cf9e7bd24ccf5441825c810b2965a77e1c3;hp=6afa33737ea7fa85cc5f51905982c9aa5faa3ce9;hb=32501dbbf4440ce0eb5ba205b6855840e32ed638;hpb=626595465a2c6987606a6bc697df65130ad8c2d3

diff --git a/palacios/src/vmboot/vgabios/vgabios.c b/palacios/src/vmboot/vgabios/vgabios.c
index 6afa337..7f451cf 100644
--- a/palacios/src/vmboot/vgabios/vgabios.c
+++ b/palacios/src/vmboot/vgabios/vgabios.c
@@ -403,7 +403,7 @@ init_vga_card:
 
 #if defined(USE_BX_INFO) || defined(DEBUG)
 msg_vga_init:
-.ascii "VGABios $Id: vgabios.c,v 1.1 2007/11/29 20:26:38 pdinda Exp $"
+.ascii "VGABios $Id: vgabios.c,v 1.1.1.1 2007/11/29 20:26:38 pdinda Exp $"
 .byte 0x0d,0x0a,0x00
 #endif
 ASM_END