removed gunk from manager_waterman()
authorAndrew Waterman <waterman@s141.Millennium.Berkeley.EDU>
Wed, 13 Jul 2011 03:00:17 +0000 (20:00 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:36:05 +0000 (17:36 -0700)
commit0b4a12c6a944868af7700a8913968564ffb1121a
tree3e89247b8c10de2e98e640dd89693505dd48bd2b
parent235f66e0603f5df0ad8b929cfe45d67bebedae89
removed gunk from manager_waterman()
kern/src/manager.c