move nodelist.kid headers into node_template.kid to remove redundancy.
authorStephen Soltesz <soltesz@cs.princeton.edu>
Fri, 18 Dec 2009 21:13:30 +0000 (21:13 +0000)
committerStephen Soltesz <soltesz@cs.princeton.edu>
Fri, 18 Dec 2009 21:13:30 +0000 (21:13 +0000)
comment-out the boot/down summary at the top of the nodelist.kid page;  ...


No differences found