]> Zhao Yanbai Git Server - minix.git/commit
VM: remove dead code
authorBen Gras <ben@minix3.org>
Tue, 18 Sep 2012 16:40:13 +0000 (18:40 +0200)
committerBen Gras <ben@minix3.org>
Tue, 18 Sep 2012 16:40:57 +0000 (18:40 +0200)
commitaa82e375c6c27147685e1e37efa0ad7a600fe600
tree6170174966ed1361c7e99ecf8499fe958b89c621
parentd526f1a0db2c255ae87d7e4ce23155b42fea4671
VM: remove dead code
servers/vm/proto.h
servers/vm/utility.c