Set default alias for examples

savonet · Mar 26, 2021 · 6993582 · 6993582
1 parent 9f6f5e5
commit 6993582
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/dune b/dune
@@ -0,0 +1,3 @@
+(alias
+  (name default)
+  (deps (alias_rec install)))