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
Platform specifics naming adjustments #526
Description of Change
Renaming of some platform specifics stuff per @davidbritch's request -- namely
Edit: Updated to only use the latter.
See description changes.