Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Added additional development tools #39
TODO (by @samueldr)
It's likely this task will be moved to an issue, once I get back home, and merge stuff. It's not exactly relevant to this PR, and not relevant yet, considering xiaomi-lavender (#28) isn't merged.
Looks good otherwise, and thanks for the helpful comments!