X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmcs_gen.c;h=3a81012136fad0a978fba4302666a47bae5ed5b3;hp=cc7ad8fba7213d8ba1c94724a5e5c82efb434682;hb=101529b6eae500272347287df43ec51aa003d0aa;hpb=4f7c3b759e3889870c5b5e7d09b3ffcc168e5632 diff --git a/palacios/src/palacios/vmcs_gen.c b/palacios/src/palacios/vmcs_gen.c index cc7ad8f..3a81012 100644 --- a/palacios/src/palacios/vmcs_gen.c +++ b/palacios/src/palacios/vmcs_gen.c @@ -1,3 +1,7 @@ +/* Automatically Generated File */ +/* (c) 2008, The V3VEE Project */ + + #include