- rename kernel-planetlab to kernel
authorMark Huang <mlhuang@cs.princeton.edu>
Tue, 13 Apr 2004 22:16:32 +0000 (22:16 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Tue, 13 Apr 2004 22:16:32 +0000 (22:16 +0000)
commit18da3fd77bb3791428f3f58b7c9260b0f235b1d2
treec71f14be35b6b96d878dc2cae17bd45aec05683f
parent99b8bcc4ea5ae6c928d61747e427f80f431bffb3
- rename kernel-planetlab to kernel
- add package-clean targets to .PHONY
Makefile