Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
A directory for crates #1006
Pull Request Overview
Moves the tock register crate out of
The current name for the directory is
Note: this PR is blocked until #984 is pulled.
TODO or Help Wanted
I'm open to opinions on how this should be handled and what the directory should be named.
Do I misattribute "extern" as meaning external to the Tock project? I wouldn't expect things in an 'extern' folder to be maintained by the Tock developers…
On Tue, Jun 19, 2018 at 5:49 PM Amit Levy ***@***.***> wrote: I'm fine with libraries, but prefer extern — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#1006 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAUt3suiA3cufMDHnG5hmBoLm-gFNo5xks5t-TmlgaJpZM4Ut7tD> .