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.
pull/2104/head
Philipp Hagemeister 2014-01-05 11:40:07 +01:00
rodzic 1c0f31f9f7
commit c6e4b225b1
2 zmienionych plików z 0 dodań i 0 usunięć

Plik binarny nie jest wyświetlany.

Plik binarny nie jest wyświetlany.