-
Dan Williams authored
Today, for some reason, the generated files are no longer cleaned up or ignored during distcheck, so clean them up ourselves. Not sure what changed.
d884aadc
Today, for some reason, the generated files are no longer cleaned up or ignored during distcheck, so clean them up ourselves. Not sure what changed.