Public Git Hosting - minix.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 3771a08) | patch

commit	6cf98dbe00d10dca91f35136e9739948b11d7a23
author	Ben Gras <ben@minix3.org>
	Fri, 9 Nov 2012 18:00:46 +0000 (9 19:00 +0100)
committer	Ben Gras <ben@minix3.org>
	Fri, 9 Nov 2012 18:00:46 +0000 (9 19:00 +0100)
tree	fe47116d5d0e7b86881df8fb415f306455637fc2	tree \| snapshot (tar.gz zip)
parent	3771a0833de9a566b0f86c06221ed1b1a01bd6f9	commit \| diff

vm: reduce noise in merged pagetable.c

servers/vm/arch/i386/pagetable.c		diff \| blob \| blame \| history
servers/vm/arch/i386/pagetable.h		diff \| blob \| blame \| history

MINIX 3 (repo.or.cz mirror)