Add missing directory
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
This commit is contained in:
parent
8c9c27fdc2
commit
4000def864
|
@ -0,0 +1,3 @@
|
|||
(alias
|
||||
(name foo)
|
||||
(deps (x y z)))
|
|
@ -0,0 +1 @@
|
|||
(lang dune 1.0)
|
Loading…
Reference in New Issue