Skip to content

Remove EXTRA_DIST_FILES from Makefiles

Han-Wen Nienhuys requested to merge dev/hanwen/extra-dist-files into master

This variable was used when 'make dist' was not powered by 'git ls-files'. Today, it is unused.

Merge request reports