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=56f8088296ee4116a4811a2f4f843edd80a7748d;hpb=f9bb3db89469169bb5775dc031d89e570c6fed70 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