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
themerc
files - The
themerc
files are committed to the git repository
Please merge. Thanks.