(no commit message)

[palacios.git] / palacios / src / vmboot / vgabios / vgabios.c

diff --git a/palacios/src/vmboot/vgabios/vgabios.c b/palacios/src/vmboot/vgabios/vgabios.c
index 6afa337..7f451cf 100644 (file)
--- 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