diff options
author | Remi Collet <remi@remirepo.net> | 2019-10-24 08:20:00 +0200 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2019-10-24 08:20:00 +0200 |
commit | e5f40da8075b343c3211e09a092d2519d7d4952f (patch) | |
tree | 120563b810cb5662dd0e433c7d6070fe1aa0324f /20-ffi.ini | |
parent | 936c7462fc412475b9277dd939ebf073ca410974 (diff) |
allow wildcards in ffi.preload
Diffstat (limited to '20-ffi.ini')
-rw-r--r-- | 20-ffi.ini | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -7,5 +7,5 @@ extension=ffi ; "true" - always enabled ;ffi.enable=preload -; List of headers files to preload +; List of headers files to preload, wildcard patterns allowed. ;ffi.preload= |