commit | 6cf0dea78a5a4584eda871e264043974d0453e53 | [log] [tgz] |
---|---|---|
author | Moritz Angermann <moritz.angermann@gmail.com> | Mon Oct 02 10:20:16 2017 +0800 |
committer | GitHub <noreply@github.com> | Mon Oct 02 10:20:16 2017 +0800 |
tree | 64e7dc747c0c238ed18104516af90194b18d0912 | |
parent | 6b6df1a7bb377651a07663879bd4162f0059dc5c [diff] |
Change CLEANFILES to DISTCLEANFILES