Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Tweaked 'get_platform()' to include the first character of the OS rel…
…ease: eg. sunos5, linux2, irix5.
- Loading branch information