From ee9164c1626225f1507cf3a8b215adaa487ea71c Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Wed, 23 Oct 2019 09:51:23 +0200 Subject: refresh ffi config --- 20-ffi.ini | 3 +++ 1 file changed, 3 insertions(+) (limited to '20-ffi.ini') diff --git a/20-ffi.ini b/20-ffi.ini index 751cdcb..4d1073c 100644 --- a/20-ffi.ini +++ b/20-ffi.ini @@ -6,3 +6,6 @@ extension=ffi ; "false" - always disabled ; "true" - always enabled ;ffi.enable=preload + +; List of headers files to preload +;ffi.preload= -- cgit