-
Thomas Haller authored
Now that the version scripts might have different sections, the previous check-exports.sh script no longer works.
256662f7
Now that the version scripts might have different sections, the previous check-exports.sh script no longer works.