diff src/cpu/x86/vm/x86_32.ad @ 285:51ae48d8072f

6736718: more copyright headers wrong Summary: Changed license headers to GPL Reviewed-by: tonyp, rasbold
author kamg
date Wed, 13 Aug 2008 08:56:44 -0400
parents 9c2ecc2ffb12
children dc7f315e41f7
line wrap: on
line diff