From 512bcf60952959e96ada920292c9afad58c34714 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Sat, 28 Jan 2023 14:51:12 +0100
Subject: [PATCH] Remove unused folder

---
 examples/osdi/osdi_libs/readme | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 examples/osdi/osdi_libs/readme

diff --git a/examples/osdi/osdi_libs/readme b/examples/osdi/osdi_libs/readme
deleted file mode 100644
index d4b9c6b16..000000000
--- a/examples/osdi/osdi_libs/readme
+++ /dev/null
@@ -1 +0,0 @@
-Put your compiled models *.osdi here, if used locally.
\ No newline at end of file