From eaadc062427e2fced04145dc59d06d0f615edd76 Mon Sep 17 00:00:00 2001
From: Jonathan Cubides <jonathan.cubides@uib.no>
Date: Wed, 18 Jan 2023 11:42:15 +0100
Subject: [PATCH] Add missing juvix.yaml to Demo

---
 examples/demo/juvix.yaml | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 examples/demo/juvix.yaml

diff --git a/examples/demo/juvix.yaml b/examples/demo/juvix.yaml
new file mode 100644
index 0000000000..8b13789179
--- /dev/null
+++ b/examples/demo/juvix.yaml
@@ -0,0 +1 @@
+