[PATCH] Add forgotten files to EXTRA_DIST

Petr Machata pmachata at redhat.com
Wed Mar 25 08:14:52 UTC 2015


Pushed.

Thanks,
Petr


More information about the elfutils-devel mailing list