Skip to content
GitHub mirror of the publicly available git repo, updated hourly. It's here so we can use the collaboration tools of GitHub. Updates ONLY from git public repo. If you want changes pulled, contact the git team, not me.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
.gitignore
CREDITS-GEN
GIT-VERSION-GEN
Makefile
git-gui.sh
Something went wrong with that request. Please try again.