Learn more about these different git repos.
Other Git URLs
a313fa8
add a flag to turn off making install DVD's