From 6cf20a99f18e2448d086e427345716d9d0fb6e1b Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Wed, 27 Mar 2019 10:50:36 +0100
Subject: [PATCH] wta: Enable exporting results of code-blocks

---
 wta/benchmarks.org | 1 +
 1 file changed, 1 insertion(+)

diff --git a/wta/benchmarks.org b/wta/benchmarks.org
index f4ed834..3428ada 100644
--- a/wta/benchmarks.org
+++ b/wta/benchmarks.org
@@ -1,4 +1,5 @@
 #+TITLE: Benchmarks for Weighted Tree Automata
+#+PROPERTY: header-args  :exports both :eval never-export
 
 * What fits in 16GB RAM
 
-- 
GitLab