Commit f38356d4414c023fcfbe34934d60c08ee94d5b8c

Bruno Haible 2018-05-04T21:37:14

Simplify: Remove the ability to install a preloadable library.