Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
No description, website, or topics provided.
Minor changes to user.h defaults. Replaced Configuration Options pdf with a more comprehensive guide. Added zip file for 6_7 release.
Latest commit 3c2cd21
Nov 30, 2018