The source project of this merge request has been removed.
Do not delete themerc during cleanup
Explanation:
- There is no Makefile rule to re-generate the deleted
themercfiles - The
themercfiles are committed to the git repository
Please merge. Thanks.