From 5fc1e9a918bfb9229eec90d459dbfb6778ae6906 Mon Sep 17 00:00:00 2001
From: Sam Beran <sberan@gmail.com>
Date: Tue, 10 Jul 2018 22:13:00 +0000
Subject: [PATCH] ext_output: flush stdout after printing output

---
 src/list.h |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/src/list.h b/src/list.h
index fb818c2..c06d142 100644
--- a/src/list.h
+++ b/src/list.h
@@ -22,5 +22,6 @@
 
 void free_list(list *l);
 void free_list_contents(list *l);
+void free_list_contents_kvp(list *l);
 
 #endif

--
Gitblit v1.10.0