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