From 3e27e640b5114b5d4d72b0f7138d1833388b9bc6 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Wed, 21 Dec 2022 23:21:18 +0100
Subject: [PATCH] Missing renaming: osdi_win --> osdi_libs

---
 examples/osdi/r2_cmc/{osdi_win => osdi_libs}/README | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename examples/osdi/r2_cmc/{osdi_win => osdi_libs}/README (100%)

diff --git a/examples/osdi/r2_cmc/osdi_win/README b/examples/osdi/r2_cmc/osdi_libs/README
similarity index 100%
rename from examples/osdi/r2_cmc/osdi_win/README
rename to examples/osdi/r2_cmc/osdi_libs/README