From 4442cef2e75e97c6a90f47a27a1bb4ccd323a8c8 Mon Sep 17 00:00:00 2001 From: "J.Stark" Date: Wed, 3 Jul 2024 17:39:18 +0200 Subject: [PATCH] minor update --- examples/README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/examples/README.md b/examples/README.md index e69de29bb..8dae38cf1 100644 --- a/examples/README.md +++ b/examples/README.md @@ -0,0 +1 @@ +The examples can be compiled using `dune build`, and then the executables can be found in `owl/_build/default/examples`. \ No newline at end of file