On 07.07.10 02:10, Nicolas Joly wrote: > Module Name: src > Committed By: njoly > Date: Wed Jul 7 00:10:14 UTC 2010 > > Modified Files: > src/distrib/sets/lists/comp: md.amd64 md.i386 > src/sys/arch/x86/include: Makefile > > Log Message: > Install x86/pte.h Thanks. Christoph