From 8b1ef6438a4eab80af01d788e290d9130b41400f Mon Sep 17 00:00:00 2001
From: Felix Schindler <felix.schindler@wwu.de>
Date: Thu, 12 Jan 2017 16:03:22 +0100
Subject: [PATCH] update links

---
 dune/pybindxi/options.h | 1 +
 1 file changed, 1 insertion(+)
 create mode 120000 dune/pybindxi/options.h

diff --git a/dune/pybindxi/options.h b/dune/pybindxi/options.h
new file mode 120000
index 000000000..c458a2e29
--- /dev/null
+++ b/dune/pybindxi/options.h
@@ -0,0 +1 @@
+../../pybind11/include/pybind11/options.h
\ No newline at end of file
-- 
GitLab