Fri, 25 Apr 2014 17:05:12 +0200Removed obsolete EXTRA_DIST files. stable-1.5
Florian Pose <fp@igh-essen.com> [Fri, 25 Apr 2014 17:05:12 +0200] rev 2558
Removed obsolete EXTRA_DIST files.