From 936c7462fc412475b9277dd939ebf073ca410974 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Wed, 23 Oct 2019 09:50:39 +0200
Subject: refresh ffi config

---
 20-ffi.ini | 3 +++
 1 file changed, 3 insertions(+)

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