altos: Rename 'core' to 'kernel'
[fw/altos] / src / telemini-v2.0 / .sdcdbrc
2014-04-05 Keith Packardaltos: Rename 'core' to 'kernel'
2013-11-12 Keith Packardaltos: Clean up .gitignore and add a few random files