Philipp Hagemeister c6e4b225b1 Restore binary files for backwards compatibility ...

Fixes 9656ee5d1d
New year's resolution: Check which systems of Ubuntu / RHEL still serve the ancient versions.
If it's only RHEL, consider removing these binary files in 2015 or so.

2014-01-05 11:41:44 +01:00

3.6 MiB

Raw History

View raw