From ca8e23c0793436c29eea9903b4b88cce2ccb8e33 Mon Sep 17 00:00:00 2001
From: Lassi Kortela <lassi@lassi.io>
Date: Wed, 14 Aug 2019 13:54:50 +0300
Subject: [PATCH] Add builtins.h file missing from last commit

---
 c/builtins.h | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 c/builtins.h

diff --git a/c/builtins.h b/c/builtins.h
new file mode 100644
index 0000000..55d213d
--- /dev/null
+++ b/c/builtins.h
@@ -0,0 +1 @@
+value_t builtin_read_ini_file(value_t *args, uint32_t nargs);