]> Zhao Yanbai Git Server - minix.git/commit
Rename protected to prot
authorBen Gras <ben@minix3.org>
Tue, 20 Jun 2006 10:03:48 +0000 (10:03 +0000)
committerBen Gras <ben@minix3.org>
Tue, 20 Jun 2006 10:03:48 +0000 (10:03 +0000)
commit7a76a7a495c710b24446b7f87528e89476df201f
tree2169c8d15bff6471f72d634605cdbc49f7d0d806
parent3061d7b17a38dc875cc0aff8a36251de2217e359
Rename protected to prot

Also print size of grant table known in system
servers/is/Makefile
servers/is/dmp.c
servers/is/dmp_kernel.c