Home
This script is run as part of the DFHack release process to check that release flags are properly set.
devel/check-release
