Rename file

aantron · Oct 14, 2024 · 93b6744 · 93b6744
1 parent 215fc97
commit 93b6744
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/example/w-dream-html/dune b/example/w-dream-html/dune
@@ -1,3 +1,3 @@
 (executable
- (name main)
+ (name html)
  (libraries dream-html))
diff --git a/example/w-dream-html/main.ml → example/w-dream-html/html.ml b/example/w-dream-html/main.ml → example/w-dream-html/html.ml