diff options
| author | Remi Collet <remi@remirepo.net> | 2019-10-24 08:19:48 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2019-10-24 08:19:48 +0200 |
| commit | c21dae38420a57adc2c677a76d50a44db3c496bc (patch) | |
| tree | f44e9944be9e22429d95dbcb2d5d7dc6ec9038bf /20-ffi.ini | |
| parent | ee9164c1626225f1507cf3a8b215adaa487ea71c (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= |