]> Zhao Yanbai Git Server - minix.git/commit
PM: remove unused core_name variable
authorDavid van Moolenbroek <david@minix3.org>
Thu, 29 Oct 2009 12:07:53 +0000 (12:07 +0000)
committerDavid van Moolenbroek <david@minix3.org>
Thu, 29 Oct 2009 12:07:53 +0000 (12:07 +0000)
commit66998b594f18453b9b0bbf0875da13ed488bd3b2
tree95edcce7187537e82889f0df2a51bb9e3892e803
parent20ca68f5c995a4829cff166e643824fe98a704a7
PM: remove unused core_name variable
servers/pm/glo.h
servers/pm/table.c