altos: Rename 'core' to 'kernel'
authorKeith Packard <keithp@keithp.com>
Sat, 5 Apr 2014 06:34:48 +0000 (23:34 -0700)
committerKeith Packard <keithp@keithp.com>
Sat, 5 Apr 2014 07:22:29 +0000 (00:22 -0700)
core remains a bad name to use -- dirvish skips files (and
directories, it seems) with that name.

Signed-off-by: Keith Packard <keithp@keithp.com>

No differences found