altos: Declare port register type only in arch header
[fw/altos] / src / telelaunch-v0.1 / .sdcdbrc
1 --directory=..